After a short revisit to 19.04 I noticed that what is there called Standard Headers is missing in 19.10. Both report them self as v. 5.10.3. Otherwise, where are the local themes saved? I couldn't find any to my liking in store.kde.org and any docs are..? -- /Thomas