Reconfig 'pygments'.