Update protocols.html