>Society is not worse off when production requires less labor,

Not objectively in every situation. But that does seem to be the case and objective here.