(She chose x86_64.) "Choose your image type: Boot ISO, Minimal ISO, DVD ISO, Binary DVD." (She paused. The DVD ISO was 8.2 GB. The Boot ISO was 742 MB.)
The first page of results was a battlefield. Sponsored links promising "Free RHEL 9 ISO – No Registration!" sat next to forum posts warning of malware-infested torrents. One result, however, glowed with the quiet authority of a cathedral: access.redhat.com .
When the ISO finally landed in her ~/Downloads folder, she didn't double-click it. Instead, she opened a terminal and ran the sacred command:
"Installation source," the prompt asked.
