On Thu, 4 Feb 2021 at 20:25, Helge Blischke <helgeblischke at web.de> wrote: > MacOS Catalina (10.15.7) > Windows10 (Virtual machine) > Peppermint 10 Linux (virtual machine). Eh? Where does this come from? -- Brian.