The unspoken reality of github: It would be significantly better both as a product and a vehicle in our economy if it was entirely worker owned.