@JukkaL and I were discussing steps towards rolling out Protocols. An important step is releasing the typing_extensions package to PyPI. @ilevkivskyi are you interested in taking on this task? It's not hard -- create a PyPI account, and use twine (pip install twine) to upload it.