If the user gave a filename for the datafile, don't imply that they want to ignore the serverlist file.

Because having multiple datafiles and identities is good!