Will the Death of Windows 10 Bring a Tsunami of New Linux Users?