Choosing tested I/O managers via ways

Hi! The file `testsuite/config/ghc` defines two ways specifically for testing the Windows I/O manager: `winio` and `winio_threaded`. Both use `--io-manager=native` as an additional runtime option. However, these days the native Windows I/O manager is the default on Windows, from what I understand. Doesn’t this mean then that, on Windows, tests are run twice with the Windows I/O manager and never with the POSIX I/O manager? All the best, Wolfgang