Update khenckel_protocol.html