[tor-dev] Empty menu item in Help menu