On Tue, Nov 17, 2020 at 8:47 AM Kasper Peeters wrote: > Thanks to both, it's solved now. The default tools should do that automatically, which ones are you using and how did you solve it with them? -- bye, pabs https://wiki.debian.org/PaulWise