A bit more complicated than it should have been. That’s really the lesson here. In fact, it appears not to have worked at all despite about five tries. The first two times I did it 100% with the GUI and had no idea why things were going wrong. The third time I did it on the command line so I saw that it was complaining about not having enough space – even though it did. And the fourth time I used the “trick installer into downloading” trick on this page and it still didn’t work. It appears not to be downloading the updates. I’m going to take to the mailing lists to try and figure out what’s going on. No one was able to help (or willing?) on the IRC so for now I remain with Fedora 11.