Lean Reference search bar adding "/" characters to URL

Stream: general

[Simon Dima]

Whenever I follow a link from the search bar in the Lean reference (in the top right, marked "Jump to..."), a new forward slash character is added to the URL, which leads to comical situations like
https://lean-lang.org/doc/reference/latest/////////////////////////////////////////The-Type-System/Inductive-Types/#run-time-inductives. Is this a known bug?

If relevant, I'm using Firefox version 139.

[Aaron Liu]

This happens to me too (on chrome)

[Edison Xie]

this is happening to me as well

[Mario Carneiro]

cc: @David Thrane Christiansen in case you missed this

[David Thrane Christiansen]

Thanks for the ping! I'll look into it