Wow. Didn’t know. As an Android developer I find it specially interesting. Not for any nefarious reasons, for I so far believe that JetBrains is one of those companies that has been a net positive on tech ecosystem in general (touchwood!) — be their dev tools or the Kotlin itself. I also follow these people and tools, partly out of professional needs/curiosities.
Aha. I see that it was also called "Kotling". I guess they missed this opportunity, or maybe KotLang, in which case people would have started calling it just Kot.
Also the place seems to have quite a few rebellions under its belt.