This is an old revision of the document!
wget https://deb.debian.org/debian/dists/stable/main/installer-amd64/current/images/netboot/mini.iso
