OK, but in that case, we reach status quo but with fewer employees. Doesn't that meet your definition of efficiency gains?

Yep. I was arguing that in this case more efficiency means you can't need as many jobs as you would otherwise. That does meet my definition of efficiency gain if there are fewer employees. Whether that's a good thing and for whom is another question.