Equations broken in documentation

Stream: mathlib4

[Ben Eltschig]

The "equations" information that is included in the mathlib docs under definitions and abbreviations seems to be currently broken - the UI element itself still shows up, but the list of equations seems to be always empty. Does anyone know what is causing this? Searching for "equations" here I didn't find any discussion, so I assume they weren't intentionally disabled

[Ben Eltschig]

See also #new members > `angle x y = angle x t + angle y t` if `t:=x + k • (y - x)` @ 💬 , the only mention I found of this

[Matt Diamond]

confirming that it's broken for me as well

[Ruben Van de Velde]

For all definitions? Because I'm aware that "too complex" equations tend to be omitted

[Chris Henson]

Ruben Van de Velde said:

For all definitions? Because I'm aware that "too complex" equations tend to be omitted

Yes, it seems like all. The drop down is empty, I don't see even the "... render due to their size" messages.

[Weiyi Wang]

I can confirm none of the equations section rendered yesterday, but it seems to be fixed now. Seems like a weird one-off problem?