We already have that Force Unique Nickname function enabled AND we’re already using a nickname that is different from the username (and also the display name–all three are different) so I am totally baffled as to how you were able to access it.
IPGEO to answer your question and thanks for the rapid responses to this vexing problem.