> The main quality complaint is that the proofs are ugly, long, and incomprehensible.

Let's take an example: Maxwell's 1865 paper states electromagnetism as 20 equations in 20 unknowns, written out in components. His 1873 Treatise recasts parts of it in quaternions, which was even more esoteric. The four vector equations everyone learns are Heaviside's, from 1884-85, five years after Maxwell died. The clean form came from other people working on the ugly original. Had Maxwell waited until he had something elegant, it would have been a net negative to society. Yes there was cleanup but I would argue that's a part of learning and understanding.

I think part of this mentality is a perfectionists view that does not always align with our "messy" reality.