OJ Board

After I figured out that comments starts with "--", not with "-" (that's what the html says), the problem made some sense. But is there anything special about them?

I says "no part of any comment is a token". That could mean two things:
a) if you find a "--", ignore the rest of the line
b) if you ...