That's actually a really great idea that we hadn't considered, thanks! Currently the only way to have multiple public keys is to log into the CMS: `ssh {user}@

That's actually a really great idea that we hadn't considered, thanks! Currently the only way to have multiple public keys is to log into the CMS: `ssh {user}@pgs.sh` and then go to "Manage Keys" and then there's an option to add another public key (press "n").