Lean docs local storage is huge

Stream: general

[Floris van Doorn]

@Eric Wieser mentioned to me that there might be an issue with the local storage size of the leanprover-community documentation website, and indeed, the amount of data stored is huge:
image.png

This is in Chrome on Windows 11. I don't know whether this caused by the Lean 3 docs or the Lean 4 docs. I haven't deleted the data yet, if someone wants to look what kind of thing is stored.

So in the short-term: everyone might want to regularly delete their local storage for the leanprover-community website. And hopefully we can fix this in the future.
@Henrik Böving

[Yaël Dillies]

A rough comparison on the sizes done on Xena shows ~500MB for Lean 3 and 5GB for Lean 4.

[Henrik Böving]

This was already fixed a long while back ebacuse the original caching over local storage was just wrongly implemented. You can just delete it and it shouldn't appear anew. I wasn't aware the impact was so large

[Floris van Doorn]

Ok, great!

[Kevin Buzzard]

This sounds consistent with my experience: I switched to Chrome on one machine relatively recently and I did not have gigabytes in my lean 4 unlike several other people