Updated public key for repo.weinlein.info