Renames Insatisfeito's ssh public key