uppercase.  (Makes it easier to see what markup is generated by the
	Python manual support and what is generated by standard latex2html.)