The documentation [mentions](https://github.com/nose-devs/nose/blob/b3a505071d6de526d470218d310019d04280b69c/doc/plugins/cover.rst) that "Newer versions of coverage contain their own nose plugin which is superior to the builtin plugin". I cannot find this plugin within the code of `coverage.py`. Could you please note where it can be found?