Editor's drafts for mikeo_proof_paper branch of lamps-wg/draft-composite-kem