Hello, I have copied debian-12.11.0-amd64-netinst.iso to a USB stick and its size is 702545920. Am I correct in thinking that I can boot from this on a new laptop (after adjusting boot sequence) and then install Debian on that laptop wiping out the OS it was sold with? Regards, Robert