[NTG-context] suggestion on [option=TEX]

Hi Hans, I have the following sample: \setuptyping[option=TEX] \starttext \starttyping \input zapf % knuth \stoptyping \stoptext The percent character is in bold font and gray color, but the rest of the commented text isn’t. My suggestion would be to apply the same color and font of the percent character to the rest of the comment. So it is easier to see that the text is a comment. And I think coloring the whole commented text (not only the percent character) is the normal practice in all text editors (if comments are colored at all). Many thanks for your help, Pablo -- http://www.ousia.tk