Extra parameter for TextEditorEdit.insert to specify not moving a selection position that's at the insertion position

<!-- ⚠️⚠️ Do Not Delete This! feature_request_template ⚠️⚠️ --> <!-- Please read our Rules of Conduct: https://opensource.microsoft.com/codeofconduct/ --> <!-- Please search existing issues to avoid creating duplicates. --> Lets say the editor has an empty selection at position (0, 5). If you insert some text at the same position: ``` typescript let editBuilder: TextEditorEdit ... editBuilder.insert(new Position(0, 5), "some text") ``` Then the selection moves with the inserted text, so that it's now positioned at the end of `some text`. It would be nice if with `TextEditorEdit.insert`, you could specify not to move the active or anchor point of any selection *that's positioned exactly at the insertion point* (so it would instead stay at the beginning of "some text") (Any selections *after* the insertion point are, and should be moved, that's fine) I tried using `.replace` instead but that just changed the selection into a non-empty selection with the same range as the inserted text.