I just installed the latest git version.
When I export just the public key, all works fine. When I include the
secret key, nothing happens and I cannot download it.
Of course, I see both keys in the PGP Keys view. So there is some
issue with the secret key export.