pygments rename highlighter