ok, the automatic update is kinda strange … but it works

20-30 mouse clicks, and I went from 2.5 to 2.5.1. There is a bug in the wizard, will file it later on.
but …
it works.
BTW: if you haven’t got the news, update your WordPress 2.5 to 2.5.1 … Now. As in immediately. Some sort of bad bug with live exploit apparently in the wild.