Minor typo in reference docs?

Stream: lean4

[Yan Yablonovskiy 🇺🇦]

Hey all,

I was reading my favourite book, the lean reference documentation. And i stumbled on this:
image.png

in

https://lean-lang.org/doc/reference/latest/Elaboration-and-Compilation/#elaboration-results .

I think there might be a typo there near the or , perhaps it was going to mention something about unsafe recursion? Or maybe there was there never meant to be an or there.

[Michael Rothgang]

CC @David Thrane Christiansen

[Markus Himmel]

No need to ping David here, you can just create an issue at https://github.com/leanprover/reference-manual/

[David Thrane Christiansen]

It already got fixed :-) Thanks!