I'd settle for them fixing text selection in the existing terminal: basic stuff like double-click to select words, triple-click for lines, shift-click to extend

I'd settle for them fixing text selection in the existing terminal: basic stuff like double-click to select words, triple-click for lines, shift-click to extend selection ... lacking the last one really irks me when I need to select a lot of output. And I'm hearing this new one hijacks ^r, which has long been wired into my muscle memory. I have a lot of reasons to love Jetbrains IDEs, but the terminal is not one of them.