update pygments plugin