dev-python/pygments: manifest