notation3 in docs

Stream: mathlib4

[Kyle Miller]

I was checking https://leanprover-community.github.io/mathlib4_docs/Mathlib/Data/Set/Lattice.html to see if notation defined with notation3 would be pretty printed, and it doesn't seem to be (for example, theorems with Set.iUnion should generally use union notation). These pretty print in the infoview at least.

Set.sUnion pretty prints with notation (it's defined with prefix). Does anyone know what controls what notation gets pretty printed, or what needs to be fixed to get the notation3 notation to pretty print in the docs?

Edit: I've checked it locally, and it does pretty print. The issue is that the docs haven't been updated for a few days