>Enabling the same production with fewer workers (or, equivalently, greater production with the same number of workers) is the definition of a productivity increase, not something that constitutes a difference in kind from a normal productivity increase.

Of course. But "greater production with the same number of workers" vs "the same production with fewer workers" is already a difference in quantity (of both production, and, the thing pertinent to the discussion, of workers).

And there's also "greater production with fewer workers" - where you get to have your employer pie (fewer workers) and eat it too (still get greater production).