Extending a text selection with shift-right-arrow works, but shift-left-arrow does not since the (UserText) text refactoring. was: