clarified reports before errors: support completion of bibtex entries in Isabelle/Scala (amending d01ea9e3bd2d);