378233caac
we are now down to about 1146 symbols being global, of which I estimate that about 100 are validly so.
we are now down to about 1146 symbols being global, of which I estimate that about 100 are validly so.