This repository has been moved to GitHub: https://github.com/pygments/pygments

Please do not file new PRs and issues here.