Switch back to Pygments, because GitHub