html comment processing

[Herman Oosthuysen]

Well, read this snippet from the spec again, slowly:

"To include comments in an HTML document, use a comment declaration. A 
comment declaration consists of `<!' followed by zero or more comments 
followed by `>'. Each comment starts with `--' and includes all text up 
to and including the next occurrence of `--'.

What it says to me, is that the comment delimiter is <! and > and that 
the comment should start and end with --, but that the -- is part of the 
comment.

Therefore, the -- is optional and is only of concern if you wish to 
actually recover the comment itself, which bogofilter probably doesn't 
need to do.