That's unconstructive and substance-less. Could you expand on the progress you mentioned, or explain what parts of the counterexamples you gave the Golang folk

That's unconstructive and substance-less. Could you expand on the progress you mentioned, or explain what parts of the counterexamples you gave the Golang folks should learn from? In what ways is the proposal a half-hearted solution?