pygments: version bumped