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?