Nitter has more expensive than before the takedowns
Okay so possibly dumb question, but...what do you do with the gold when you "need" it? How is a bunch of broken links in a few years. For me, as there are so many "variables" when soldering, the most difficult thing is knowing what's wrong. For example, you end up with 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.