He opened the integrated web browser. Because he had configured this specific ISO to be "Google Drive portable" friendly, his credentials and shortcuts were already mapped. He bypassed the local disk's failure entirely, pulled the script directly from his Google Drive cloud storage, and ran it.
Create Hiren Boot CD Bootable USB for Windows 10 system repair?
(Insert your actual Google Drive link here)