(This seems redundant now, that manual key imports will likely be removed)

Edit: everything discussed here seems to be redundant now with manual PGP identity key management on the way out.

But manual key rotation likely remains as important as before: True identity key rotation seems somewhat important in the long term