Update info about the Windows port.