"pygments" tag is deprecated