pygments renamed to highlighter