Editor's drafts for bas/crt-and-autopretty branch of lamps-wg/dilithium-certificates