The doc_prototype branch was used for docs work up until now. The docs have now been pushed to the master branch, so we won't be needing that anymore. I'm going to delete the doc_prototype branch, pending lazy consensus (no -1s) for a few days.
Speak now or forever hold your peace, Jim
