Microsoft has released the Windows 10 20H1 RTM ISO files