chiark / gitweb /
site: Write an argument for the soundness of key file update