Go-to-def for tactics broken on v4.14.0-rc1

Stream: lean4

[Jannis Limperg]

example : True := by
  simp

On v4.14.0-rc1, ctrl-click on simp in VSCode (or lsp-find-definition in Emacs) brings me to the definition of True. Previously, it would bring me to the syntax declaration for simp.

[Sebastian Ullrich]

Thanks, fixed in #6031

[Michael Rothgang]

(lean4#6031, that is)