<hr /><i>drh added on 2011-04-22 11:36:53 UTC:</i><br />
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.