index.php: Change label of Windows row

[jcs]

I'm assuming this is what was meant here, unless Platform actually means something in the Windows world.