> barrier to switching IDEs is nontrivial

That was definitely true in the hand-crafted code era, but I've found all the agentic-type things to be basically the same? Even if you're fairly involved in the code, you're still just mostly reading diffs and editing the odd line, the kind of basic work that's the same across all modern editors.