This ticket looks to have gotten quite a bit of attention, but the Pygments upgrade seems to have fallen through the cracks. I'm working to get it back on track

This ticket looks to have gotten quite a bit of attention, but the Pygments upgrade seems to have fallen through the cracks. I'm working to get it back on track. We do our best to handle every support ticket, but low priority tickets can sometimes take a while to be properly addressed. Sorry about that!