With the help of this excellent page listing the differences between WordPress 2.0 and WordPress 2.0.1, I have upgraded this blog to WordPress 2.0.1. It was relatively uneventful, so there is not much more to report.