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