Backport PR
#6878: Update pygments monkeypatch for compatibility with Pygments 2.0...
Backport PR
#6878: Update pygments monkeypatch for compatibility with Pygments 2.0
Closes gh-6877
I spent a while looking for a better way to achive this, to get rid of the monkeypatch, but none occurred to me, so I went with Carlos' suggestion of just updating it.