Try removing two old hacks.

Running `just profile-test` seems to no longer fail now that we've done
some hardening work (to support 0.11).

So let's kill crazy hacks and see if we regret that later and need to
add them back again.

Author: Julian

lua/lean/infoview.lua

@@ -441,7 +441,7 @@ function Infoview:__update()
     return
   end
   info:set_last_window()
-  pcall(info.move_pin, info, util.make_position_params())
+  info:move_pin(util.make_position_params())
 end
 
 ---Directly mark that the infoview has died. What a shame.

lua/lean/lsp.lua

@@ -313,13 +313,7 @@ local function file_progress_handler(err, params)
   end
 
   require('lean.progress').update(params)
-  -- XXX: Similar to the equivalent line below, this second pcall seems to have
-  --      become necessary when we started deleting clean buffers in tests.
-  --      That's.. very suspicious, because it probably means it's necessary
-  --      for "real life" use cases as well. So something isn't being handled
-  --      correctly here. Without this though, tests in the sorry spec?? and
-  --      not others seem to fail nondeterministically around 50% of the time.
-  pcall(require('lean.infoview').__update_pin_by_uri, params.textDocument.uri)
+  require('lean.infoview').__update_pin_by_uri(params.textDocument.uri)
 
   require('lean.progress_bars').update(params)
 end