Specification of the Win32 time zone APIs and their registry data. Based on writing
wintz.py / wintz.c (reimplementations of SystemTimeToTzSpecificLocalTimeEx /
TzSpecificLocalTimeToSystemTimeEx) and brute-force comparing them against the real
API output.
Figures are measured on this machine (Windows 11, 141 zones / 714 rule entries).