Microsoft has quietly removed the Windows 10 device manager