Replace 'pygment' with 'highlighter' in config file