Hi Milan,

> I had a lot problems with ConTEXT. It isn't even developed anymore,
> so it looks like bugs are here to stay.

Are you sure about that? The latest update came out on August 14; new
highlighters and language files even more recently.


Greetings,
Paul Vinkenoog