KDE manual session saving seems to be missing