[seanmcdirmid]

If I can do something faster or I can do something with less effort, those are both the same productivity increases. It’s just the how the human involved wants to spend the increase.