Is there any news about the status of the type-annotations-as-comments proposal? The README has said "Details will change in the coming days" since March 31.

Is there any news about the status of the type-annotations-as-comments proposal? The README has said "Details will change in the coming days" since March 31. I know TCs are supposed to move deliberately, but this is such a neat idea I'm impatient.