Would having a decentralized repository be a good idea (one that is not subject to this kind of corporate/political issue)?