Steps to reproduce:
# Settings -> SSH Public Keys -> Generate Keypair
# Generate Keypair
# Click done (you can ignore downloading the private key)
# Click to edit the new public key (for example, to give it a meaningful name)
# Attempt to save the public key
{F140999}