An attempt to convert The Cool Reference Manual, Edited by Wes Weimer, back into TeX