Googling for the filename produces a result, which I'm downloading, but I don't know if I trust it. :-)

My other option is to stick with 4.0, and install my apps individually and setup and sync all my email/calendar/contacts/etc as if it were a new phone. Not sure which is more painful.

Arg.