Fix up the HTML generated for envdesc and macrodesc environments. Make it possible for the user to tell the difference.  ;-)
Fix up the HTML generated for envdesc and macrodesc environments.
Make it possible for the user to tell the difference.  ;-)

sk-/python2.7-type-annotator,sk-/python2.7-type-annotator,sk-/python2.7-type-annotator