Ctrl + Select in the text box now uses more advanced tokenizing. This should make Ctrl + Clicking a lot nicer. If not, this was a net loss because functionality is basically the same as before.