update http-protocol.txt.html