chiark / gitweb /
rename server request from "delete" to "uninstall"