IsLocalization in documentation

Stream: mathlib4

[Daniel Weber]

I noticed that docs#Localization.isLocalization, despite being an instance in the code, is shown as a theorem in the docs. Additionally, no instances are shown for docs#IsLocalization. What causes this?

[Junyan Xu]

doc-gen4#240

[Junyan Xu]

I suppose this has to do with lean4#5856? But it's still pre-release. Has the pre-release been deployed to doc-gen?