Nicolas Goaziou writes: > See (with a nice > typo...) Thanks Nicolas, just a small detail though: unless this is a planned (breaking) change, I believe the description you linked should read: A “comment line” starts with *zero or more whitespace characters, followed by* a hash sign, followed by a whitespace character or an end of line. Another detail: it could be nice to have a small appendix somewhere mapping character names to codepoints, since Unicode has no less than three “number signs” (from Wikipedia): - U+0023 # NUMBER SIGN (HTML #). Other attested names in Unicode are: pound sign, hash, crosshatch, octothorpe. - U+FF03 # FULLWIDTH NUMBER SIGN (HTML #) - U+FE5F ﹟ SMALL NUMBER SIGN (HTML ﹟) Regards, Thibault