Naming things: Package name is blocked on PyPI

## About

Note to self: Next time, we must upload a newly conceived Python package to PyPI timely, otherwise the chance is high that the name has been taken a few months later.

## References

- https://github.com/pypi/support/issues/6052
- https://github.com/tusharsadhwani/zyp/issues/2
