mathlib stats overflow

Stream: general

[Kevin Buzzard]

I see at https://leanprover-community.github.io/mathlib_stats.html that we're about to hit both 3000 files and 10^6 LOC, which is the top of both of the graphs. Does someone need to make these graphs have more space or will something magical automatically happen when these boundaries are met?

[Johan Commelin]

I was assuming the magical option.

[Patrick Massot]

Yes, definitely.

[Kalle Kytölä]

97898 theorems is also pretty close to a round number milestone. :octopus: