I think that the bug described by Greg is somehow a result of the site's
move last August. If I'm not mistaken, it is only comments made before
2005-08-27 that have this problem.
If you posted such a comment, you can 'edit' it, and simply resubmit it
without making any changes. The HTML will then be displayed properly.
