Woops. Moved 20-latex.el to the right place.