chiark / gitweb /
site: Generalise deletion and timeout of keys