Pygments no longer used.