On Mon, Oct 21, 2019 at 2:43 PM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

#;(bla #!fold-case blubb)

Case-folding flags are permitted anywhere comments are, but comments are not permitted within comments, so this flag is no flag at all but just part of the outer comment.  In Chibi case-folding flags are ignored within ;# comments.

"Well, I'm back."  --Sam        John Cowan <xxxxxx@ccil.org>