update configuration: pygments -> highlighter