Thanks for the suggestion! This does, indeed, give the desired results on both Windows and macOS.

But it does not use the system settings...
See e.g. https://youtu.be/j64acCeati4?t=548 .

For the time being it is already a substantial improvement.