pygments: version bumped to 2.0.1.