PyPI came back. A bit more sleuthing suggests that the websocket-client package on PyPI is Ohtani's package, and is more up-to-date than the copyright notices would suggest. The package was updated a few days ago on GitHub.
Taking the path of least resistance (no changes necessary to the code), I suspect I will just stick with that unless there are overriding inputs from the community suggesting something else is way better... S -- https://mail.python.org/mailman/listinfo/python-list
