Editor's drafts for overview-diagrams branch of davidben/merkle-tree-certs