I am getting duplicate Menu entries for the CodeBrowserMenu from time to time:  I can not reproduce, yet.