quietex (pypi): Filter output of pdflatex.
Keywords: colour|filter|latex|latexmk|output|pdflatex|prettier