Add some explanation about the pygments monkeypatch