pygments renamed highlighter