HomeIsabelle/Phabricator

slightly faster XML output: avoid too much regrowing of StringBuilder;