Win32.md: formatting