changing pygments to highlighter [naming]