Moving the html docs into documents with the other protocols