Their proposal to the TOC: https://docs.google.com/presentation/d/1ZazSXwYWp_DVNjOArbvt...

Interestingly, a few slides later, rkt is proposed also. There's a slide as to "why both": "Standards are most effective when there are multiple, independent implementations with different architectures"