Re: "setting' sub-menu now missing from KDE main menu