By design, commit comments are wiki text, which means HTML is allowed
within commit comments
and is displayed as such.  This allows hyperlinks and rich formatting to be
used within comments - a feature that we have made full use of over the past
3.75 years.  It is not something we care to disable.

Thanks for the suggestion, though.