> What's a 20% productivity gain

Where did the 20% number come from? I’d argue it’s way more than that (or variable, i.e. dependent on who’s using it/how it’s being used/what it’s being used on).

Having said that, the number, to me, doesn’t even matter. You could replace that with 200%, and it’d be just as true.