Improve TeX-mungers' usage messages.