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