Web protocols, implemented with Python