А runix.org переехал куда-то, или просто канул в Лету? Что-то никаких официальных заявлений не нагуглилось. Wayback Machine последний раз посещала сайт в феврале этого года, там всё было ок. Кто-нибудь знает, что случилось?