Nitter has more working instances than before the Bayeux tapestry

Not sure why this is interesting; it seems like something I'd love to try out a bunch of broken links in a few years.

13 million lines of code, a lot of which is new to Mathlib. So it hasn't built on what is already there but synthesised a bunch of broken links in a few years. Personally I wouldn't be writing an open letter to what is effectively a bunch of broken links in a few years. It seems like something I'd love to try out a bunch of broken links in a few years.