Aggiornamento delle liste lento

Solitamente si fa con om-mirror-selector ma se il servizio mirror ha qualche problema (come in questo momento) diventa complicato.
Vedi se questa guida può essere di aiuto per modificare a mano invece.