@dansup I feel you there, though I switched to VSCode a while back. At least with many languages prioritizing language server support, we’re in a pretty great spot with editors :D