Editor's drafts for bas/andy-editorial-tightening branch of davidben/merkle-tree-certs