tolerate missing latexdocs.json