Works fine here:
It works here too after the repair which took almost 2 hours. 😒
This repair thing might work if there's no official ISO for those who don't want to download one from a 3rd party site, but I'd rather spend less time downloading and making a custom ISO that I can keep for future use.
I did it in about 35 minutes here on a desktop. Tried 2 times and it was about the same time.