Document why '@' is disallowed in nicknames