Editor's drafts for seanturner-refactor branch of lamps-wg/dilithium-certificates