in Boulevard of Broken Links on The Stack Exchange Network Chat, Dec 10 at 21:57, by Martin Sleziak
dead-links Did somebody else notice some changes to ProofWiki. (And, consequently, some of the links to not work as they used to be.)