Windows 10 May 2020 Update hasn’t proved popular – and you may as well skip it now anyway