End of line for line comments

[atsampson]

In section 2.3: "A line comment is any character sequence between the comment delimiter (*) and the following end of line."

I think this is the only place where the spec cares about line endings. Is it worth being clearer about exactly what the "following end of line" is, to avoid ambiguity when processing source files with different line ending conventions? Perhaps something like "... and the next carriage return or linefeed character (or the end of the file)."

[Hibou57]

Unicode has a definition for this: http://www.unicode.org/reports/tr14/#BK