On Sat, Oct 31, 2020 at 11:17 AM, Ralf Kefferpuetz wrote:

There are already some issues open for that.

-
And not that I don't think you already have, but anyone else who's hitting this issue and who hasn't should get themselves over to GitHub and add a comment to the open issue(s) that are important to them.  That's one of the metrics used to set priorities on fixes.
 
--

Brian - Windows 10 Pro, 64-Bit, Version 2004, Build 19041  

It’s hard waking up and realizing it’s not always black and white.

     ~ Kelley Boorn