Re: Inaccessibility of [#80-#FF]

Since you are deleting them anyway:





comment-line: "%",-char+, eol.

char: [#0-#9]; [#b-#c]; [#e-#ff].



You can just use


comment-line: "%", -char+, eol.
char: ~[#a; #d].
eol: [#a; #d].


Steven