main.tex: Remove garbage.