chiark / gitweb /
do not rename the database on device rename