I wouldn’t care so much if I could get a USB 3.2 or 4 device that’s only 2–4 GiB for like $2. I would actually buy a handful for each system I need, label it, and update that dedicated drive. However, fast, new drives don’t come at sizes appropriate just an ISO.