jump_to_location -> show_document

I'd noticed the former was pretty useless as all it does is basically
call the latter. Seems like now it's been officially deprecated
upstream in 0.11.

Refs: neovim/neovim#30877

lua/lean/infoview/components.lua

@@ -212,7 +212,7 @@ local function code_with_infos(t, sess)
         vim.api.nvim_set_current_win(this_window)
       end
 
-      vim.lsp.util.jump_to_location(links[1], 'utf-16')
+      vim.lsp.util.show_document(links[1], 'utf-16', { focus = true })
       if #links > 1 then
         vim.fn.setqflist({}, ' ', {
           title = 'LSP locations',

lua/lean/widgets.lua

@@ -132,9 +132,10 @@ implement('GoToModuleLink', function(_, props)
         end
         ---@type lsp.Position
         local start = { line = 0, character = 0 }
-        vim.lsp.util.jump_to_location(
+        vim.lsp.util.show_document(
           { uri = uri, range = { start = start, ['end'] = start } },
-          'utf-16'
+          'utf-16',
+          { focus = true }
         )
       end,
     },