Tidied tex files

(I have removed some commented sections that are unlikely to be included
again.  They are of course still available in the old commits.)