config: pygments -> highlighter