You might try upgrading using the 5.1 tarball first. We normally don't test quantum-jump upgrades, and are dependent on existing users to test incremental upgrades. The latter is more likely to work easily, though.
And, also, as you've noticed, there are instructions available for the 5.0->5.1 step :)
