rename config pygments to highlighter