ssh key question - does jimc@fedora need to be updated to follow new hostname ?