Editor's drafts for bas/andy-grammar-fixes branch of davidben/merkle-tree-certs