Editor's drafts for bas/final-stretch branch of lamps-wg/kyber-certificates