Exactly, I could create a bootable USB device using the command line, but I don’t do it very often, so I quickly forget how.