Oh, you are referring to the name suggestions in the comments below the blog post? Yeah. Something where "Kot" is a standalone word would definitely be an unfortunate name choice.

I read your post that way that you argued that "Kotlin" is a bad naming choice. Sorry for the misunderstanding.