Admin tweaks; suppress pdflatex console spam