My point is this.Given how vast the digital divide can be globally, why not insure choices to accessing Linux in general and Debian particularly? Just because your machines are 20 years old, does not mean that is the case for everyone.
Just my thoughts, On Tue, 18 Jun 2024, Stefan Monnier wrote:
And some of the BIOSes of old PCs are not able to boot from USB...Indeed, tho I suspect those machines are 20 years old or more (at least, all my machines that are <20 years old support booting from a USB key drive, while of the two older machines I have (both 21 years old), one of them doesn't support booting from a USB key (tho it supposedly can boot from USB floppy)). Stefan