Following the community-deleting accident, a bunch of mirrors that are usually up to date have only synced once, and are now 30+ hours out of date. A bunch of other mirrors still haven't synced at all since community was repaired, and are now 3+ days stale. Is there something else going on now? What's up with Arch's mirror network?