Payout of $10,000 for Windows 10 update - BBC News