note, May 8, 2023, on Mitja Felicijan's blog
Write ISO to USB key. Nothing fancy here.
sudo dd if=iso_file.iso of=/dev/sdX bs=4M status=progress conv=fdatasync
Other notes