I can imagine that you're right! Would not be too surprising if Win32s was self-contained enough, and the differences between 3.0 and 3.1 small enough (although there were larger ones at least in some other aspects), that this could be done reasonably. (Though most apps were still likely to be 16 bit apps at that time, so not making any use of Win32s.)