As a side note, diagnosing the problem would have been easier if the installer would say which mirror it chooses. I know because I tried a manual download from another, already installed system, but not everyone has a second computer at home.