Revert "Also jump between do/return."

This reverts commit 4b216e8.

ftplugin/lean/lean.lua

@@ -27,7 +27,6 @@ if vim.g.loaded_matchit and not vim.b.match_words then
       [[\<\%(namespace\|section\)\s\+\([^«»]\{-}\>\|«.\{-}»\):\<end\s\+\1]],
       [[^\s*section\s*$:^end\s*$]],
       [[\<if\>:\<then\>:\<else\>]],
-      [[\<do\>:\<return\>]],
     })
     :join ','
 end

spec/matchit_spec.lua

@@ -105,32 +105,4 @@ describe('matchit', function()
       end
     )
   )
-
-  it(
-    'jumps between do/return',
-    helpers.clean_buffer(
-      [[
-        example : Nat := Id.run do
-          let _ ← Id.run do return 1
-          return 2
-      ]],
-      function()
-        vim.cmd.normal '1$'
-        assert.current_word.is 'do'
-
-        vim.cmd.normal '%'
-        assert.current_line.is '  return 2'
-
-        vim.cmd.normal '%'
-        assert.current_line.is 'example : Nat := Id.run do'
-
-        vim.cmd.normal '2gg17|'
-        assert.current_word.is 'do'
-
-        vim.cmd.normal '%'
-        assert.current_word.is 'return'
-        assert.current_line.is '  let _ ← Id.run do return 1'
-      end
-    )
-  )
 end)