#7487: update Pygments version.
2 files changed