Åh nu er mirrors.dotsrc.org nede igen. Nu vælger jeg altså et andet mirror til Linux, der er store problemer med stabiliteten af dotsrc.org.