If this is correct, and it looks like it is: Good! 2022 has been a bad year for first Russia, then Iran and China and I hope they'll come crashing down, mostly because of the courage of Ukrainians as well as Iranian and Chinese citizens, but also because of actions like this. Good work Jetbrains!
Quoted post unavailable.
Probably only after the “re-education”.