You're the top-rated comment, didn't read the article*, posted the most flippant response possible based on whatever couple sentences you didn't understand, and I'll get downvoted for pointing it out, even if I leave out the "I'll get downvoted" part. Really a shame.

* there's way more than one person involved here

But I did read the article!

Some random definition of flippant: "not showing a serious or respectful attitude."

In my view publishing proofs in 2025 without machine readable proofs is quite flippant yes. We have powerful computation systems, with huge amounts of RAM and storage, yet the bulk does most of mathematics on a computer in the form of... high-tech calligraphy? People are wasting each others time by not using formal verification, to me that is disrespectful.

Is pointing out this disrespectful facet of collective behavior disrespectful?

For example are people who point out the problems associated with GHG emissions, really being flippant when they point out the flippant behavior of excess emission?