[PATCH v3 1/2] filters: Improved syntax-highlighting.py

[Jason A. Donenfeld]

Hey Stefan,

Can you keep the list up to date with pygments upstream? Has that
python3 change made it through? Before 0.10.1 release (probably
tomorrow), should we switch the highlight script back to python3? Or
is pygments upstream still not released?

Thanks,
Jason