Switch to pygments highlighter