Editor's drafts for demo-draft-02 branch of davidben/merkle-tree-certs