Yesterday's commenting bug appears to have been fixed (although I haven't been officially notified). I've therefore switched HTML in comments back on.