Close issue #11 for the current GPG keys, but we'll have to remember to use the full fingerprint from now on.