IntelliJ (and the rest of the JetBrains editors) is the only editor I've found with legitimately good emacs keybindings. They're not perfect but they're so much better than the VSCode or Sublime ones. They feel like bindings written by someone who actually uses and likes emacs.

JetBrains genuinely feels like a company run by people who love programming languages and love tooling. How many companies would actively fund a homotopy type theory group^[1]?

[1]: https://research.jetbrains.org/groups/group-for-dependent-ty...