chiark / gitweb /
site: Better logging of key ids etc.