Our config should write out each symbol once and only once, but still write
out all symbols in all sub-menus.  I think this finally does it right.
1 file changed