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