HomeIsabelle/Phabricator

clarified output token markup (see also bc22daeed49e);