[BjoernKW]

This is just in. Seems like my previous statement above has become obsolete:

https://blog.jetbrains.com/blog/2022/03/11/jetbrains-stateme...

That’s what I meant by putting their money where their mouth is.