HomeIsabelle/Phabricator

proper output of document sources (cf. d892f6d66402);