I'm wondering if this perspective is true at scale? If everyone is saving ~25% of their time then on the whole there is a 25% increase in workforce efficiency, no?

The flip side of efficiency if the workforce headcount remains constant is over capacity, which is a downward force on earning potential.