> so some people can now just choose to work less

that's good - they're able to recover some of their time. Just because this "own time" doesn't count towards official GDP, doesn't mean it isn't an improvement.