update 'http-protocol.txt.html'