edituser.cgi: gracefully deal with invalid SSH keys