How about drop the “-proposals” bit? It sounds lik...

# language-proposals

[jbx]

How about drop the “-proposals” bit? It sounds like that’s the real issue here. Make it just #kotlin-language