Hey magi, we haven't tried this on WinIoT. You may find that it's a little harder to get going as those directions were more or less specifically written for Raspbian. However, if you're sure you want to proceed with WinIOT, I have a small recommendation that might help!
The EV3 Touch Sensor has a different wiring than the NXT touch sensor. You'll note in the tutorial you link to, we're working with an NXT touch sensor. I'm away from the computer I have the schematics in but if you download the EV3 Development guide, they have the schematics in PDF form. You will just need to check the schematic for the pin that needs to be connected (which is different from the pin on the NXT touch sensor).