pygments plugin install instructions tweak