[tor-commits] [tech-reports/master] Rename main .tex file to something globally meaningful.