Python scripts that ameliorate LaTeX tedium.