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