See T9566 and D14273. It looks like there may be something in the realm of a 5-10x performance improvement for at least some subset of inputs available by upgrading from old Pygments (circa 1.4) to newer Pygments (circa 2.0.1). No particular urgency here, but we have reasonable tools for raising advisory setup issues now and this one should be pretty easy to detect. We already do other `pygmentize` checks anyway.