No, I commented independently about this earlier having noticed it after rebooting (and then again - duplicated again). Must fetch & store menu items on login I suppose, but not clear them first nor check for duplicates.