As of this weekend, some repositories are down. People are aware of it and working hard to restore them. Anyone know of any alternative repositories to the extra-devel and such?