chiark / gitweb /
nightly: replace / from fingerprint in SSH key filename, fixes #423