Update a public key

Public SSH keys cannot be edited. If you want to edit a public key, you must remove and add it again.