As far as I remember, JetBrains was founded in 2000 by a couple of Russian immigrants in Prague back when no one knew who Putin was. They had an office in St.Petersburg which was closed in 2022, they don't sell in Russia anymore, and ban all Russian users. What's the evidence of them having ties to Putin?