Changing Windows 10 to install updates on demand, rather than automatically