Productivity is the ratio of real GDP to total hours worked.

That's labor productivity, a different measure. But the original article references labor productivity, so your definition is more relevant.