Upgrade

Upgraded to WordPress 2.5.1 (finally). Maybe it all still works, too.