"highlighter: true" the former "pygments: true"

Deprecation: The 'pygments' configuration option has been renamed to
'highlighter'. Please update your config file accordingly. The allowed
values are 'rouge', 'pygments' or null.