Delete documentation of no longer used function.
Improve filtering of LaTeX errors and warnings.