These guys have discussed this "off air" and they know how silly it is. They know our admin isn't violating the existing official naming requirements, and that they can never put enough fencing around nicknames to do anything other than embarrass themselves politically.
There are only a handful of legislators that are willing to make this their concern. Others are not buying in to the need for more tax dollars being wasted to legislate (and police) nicknaming and fanatical objections.