As far as I gather from that post the mascot has no name yet. Also as someone who natively speaks German, I don't see any problem with the name "Kotlin" and I never associated it with "Kot".
Suggesting that they use Google Translate to realize the additional meaning seems especially smug given the fact that they have a German translation of that post available.