migrate pygments => highlighter