I fail to see a distinction. The GNIS and Cenus databases are also based in US Law, but Wikipedia is not; it is a global organization. Despite the power that Congress thinks it has sometimes, they cannot control what names are in common use. For example, the self-important names that they give bills "Apple-pie, motherhood and freedom act" etc. fail to catch on in favor of "cash for clunkers" or "Obamacare". It should be mentioned in the body, but probably not the lead since "normal" people probably care less than us editor nerds. My point was that time was on our side: as non-unicode browsers fade slowly from the earth, and limited typesetting systems go the way of the ASR-33 (showing my age?), the symbols should be more and more prevalent, cancelling the usual argument of numbers. I will do an official support vote to clarify that I am for it long term.