'pygments' configuration option has been renamed to 'highlighter'