Funny how the title is about the 3 removals, when there were 6 additions. I guess the declared fails make for more interesting discussions than the declared successes. Click-bait reigns.

The 6 additions are Lean verifications for already published pre-prints, not new results.