In my experience the core editor is fast and rock solid, but I think every single extension I've tried has been somewhere between glitchy and completely broken, and debugging/fixing them has soaked up more time than they'd save if they worked perfectly.
Part of the problem may be that extensions seem remarkably keen to take giant dependencies. I think one wanted a full node.js install to do JS linting.
Or maybe I've just been unlucky/incompetent.