@Shawn it irks me when people actually engage in the comments though, "feeding the troll" and all that. The point of calling it an "undocumented criticism" is to show we are not drinking Kool Aid, and helping a false narrative that we label anyone who criticizes Kotlin "a troll". We want to improve Kotlin if there is an issue, but this criticism is ill-defined so we will leave it unaddressed until otherwise.