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