MinGW64/MinGW32 profiles can be found at https://github.com/msys2/msys2.github.io/commit/0ecd2cf22781a05c7bc2d0c1381ed63df7c9d17b. I’m not sure why they were fully removed instead of just adding ucrt64 and changing `defaultProfile` (I’m not sure whether they’d conflict, or whether that could be resolved simply by changing the `guid`)