Mysteriously Duplicating Menus

For some reason, some of the menus on the site, particularly in the navigation menu have taken to spontaneously duplicating themselves. We're aware of the problem and are looking into the cause. In the meantime, if you see some extra menu items from time to time, please excuse the duplication. Hopefully this will be resolved soon.