For some reason, the codecov package on PyPI is gone.
They seem to have been deprecating their old upload method,
and we don't care enough about code coverage for it to block
this release.