Is that an issue with the format or the currently available tools though?

I think that was his point. He said none of the other jetbrains ides are slow so it can’t just be because it’s java

The active user chart on that site shows a spike after Twitter was sold and then a 50% decline and a flat line after.

It’s not bad, but doesn’t seem to be growing.