Should we leave color as it is now without?

I vote for "no color".

In the alternative, I'm in full agreement with using highlight, not
Pygments, for the reasons stated (which I've also
experienced). --thanks, karl.

Reply via email to