Rename protocol.html to index.html.

Also, render with github-markup instead of rst2html.