Спасибо, я знаю это сообщество. Но там чаще всего выкладывают на российские серверы, скачивать с которых или очень долго и тяжко, или вовсе невозможно.
Мне тут посоветовали новый сервер для обновления, вроде до 10 добирается, хоть это тоже не слишком замечательно, но позволяет надеяться:-)