add more on whizzytex and a section on auctex