chiark / gitweb /
admin: Rename the unknown-service error.