chiark / gitweb /
Remove uninstall other option, as it is broken.