1d474b4863
This is to prevent clashes between an NPP name like "Bad Bob" and a player name like "Badbob". Something more sophisticated, like maybe a specific Name subclass for yohoho usernames, is left as an exercise to the Mike, if desired. Note that crew/flag name normalization is still as strict as ever. git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@2991 542714f4-19e9-0310-aa3c-eee0fc999fb1