“Installation successful.”

He saved the document. Then he backed up the ISO to a USB drive labeled:

The ISO file was 2.4 GB. At his rural internet speed, it was a four-hour prayer.