rename pygments plugin