Rename protocol_khenckel.html to khenckel_protocol.html