He clicked the download link. A progress bar crept across the screen. Downloading... Portal_Disc.iso.