replace the deprecated option `pygments` with `highlighter`