Editor's drafts for move-cri-to-edn branch of core-wg/href