In case anyone needs to know: media.cooleysekula.net is down for some disk maintenance. That system has proven resilient against well-behaved hard drives. :-) A painfully slow partition clone has delayed bring the system back up. Will update again once it is back.