Fix #9 (more interactivity for protocol-reference.html)