On 2021-04-23 11:57 p.m., D.T. wrote:
Thank you for this information.
Please make sure you mark this as Windows-only (or possibly other OS
too, but not Linux).
For Linux users, all this is irrelevant, confusing and potentially
harmful.
I wrote my own theme:
