John chose the ISO option and clicked the download link. The file was around 400 MB in size, and it took a few minutes to download.