мда, хотел ту же новость запостить в это же время, но на премодерации выбрали этот пост)

пока не смог обновить, сервера тормозят, походу немало людей набросились обновляться. и да, желательно обойтись без cat и вручную подредактировать файл, иначе он тупо затирает в sources.list сторонние ppa-источники.