And you're saying that they targeted one user specifically ... I say, where's the problem?
To make a proper analogy, if Google abused Wikipedia or the Internet Archive, shouldn't these non-profits have the power to ban one specific user from abusing their free services?
And yes, Automattic pays WP.org's bills. I would prefer independence ... maybe if more companies contributed, that would happen.