[embedding-shape]

Yeah, that sounds right to me, and sounds like you're agreeing with me that it isn't yet an official effort, as the RFC hasn't yet been merged, in contrast to what parent claimed.