Add OpenPGP signature file missing from the previous check-in.