Fix duplication
Show protocols as top-level links in the sidebar
Template tweaks
When a protocol is selected, show its list of messages
Update contributors
Polish example protocol a little