No reason to say namespace separators are needed - that's part of PHP

Not needed - that's defined by PHP