nit: I think these three lines can just be `session.editor.setSelection(jumpResp.start, jumpResp.end, true);`