'pygments' deprecated in favor of 'highlighter'