adapting Hhh-protocol.txt for doHTohh.py script