On Monday, 27 July 2020 at 15:19:44 UTC, Steven Schveighoffer wrote: > I don't use Windows, so I probably won't get around to fixing > this. But ping me if you make a PR, I will review it. > > -Steve > This should be an easy change and I'm kind of surprised this > has been open for so long. This is the reason why.