I did the manual download as per the linked instructions and it went without a hitch, although the entire process took about 36 minutes (including the restart). I hope that update represents the totality of all this month's Win 10 patches!