chiark / gitweb /
database upgrade tool. needs to be run manually.