According to the grammar, the first thing inside a multi-line comment is
a <comment-text>, which is not allowed to be another multi-line comment.
So I couldn't write
|# |# blah blah |# |#
Or can a "character sequence" be empty? Maybe that's obvious, or maybe
it needs to be stated explicitly.
-- Paul