Documentation missing from Mathlib docs?

Stream: batteries

[Wrenna Robson]

I appear to see no content in documentation like https://leanprover-community.github.io/mathlib4_docs/Batteries/Data/List/Basic.html.

Things still seem to come up in the search though... and the source is fine. What's happening here? Is it to do with modules or something?

[François G. Dorais]

Seems to be fixed!

[Wrenna Robson]

Hurrah!

[Wrenna Robson]

I reckon it was something to do with these Mathlib cache issues that were fixed