Fix problem with names that are subsets of other names.  Needed to introduce
a user-controlled feature, since we haven't specified ourselves the separator
string at this level.  Of course picked the default that most suits our
own need!