An ssh key exporter that handles all the fiddly details of copying to remote systems and setting up secured permissions. Can record installations and afterwards rotate all keys in one operation. Supports ed25519. Creates a key pair when required.