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