The 'pygments' configuration option has been rename to 'highlighter'