#5: adding pygments manifests