HomeIsabelle/Phabricator

recovered stderr for PIDE batch-build, such as "Browser info at ...", "Document…