Starting to add protocol design documentation