this is used once but does not appear anywhere else, especially not in kdesettings-example.bat default is True could somebody please document this? -- Wolfgang