PK - Panos Katertziadis schrieb: > All you wrote is correct. However that was the case for many-many years: > the iso files were there.
Was that so? <https://cdimage.debian.org/cdimage/archive/> currently says: | By default, for each release here we keep all the images in jigdo | format to save on space and download times. We also often keep the | ISO images for the last release of each series. That is true; the ISO images for 9.13.0, the last release of the 9.x series, are present. The text above is unchanged since at least 2011 (checked via Wayback Machine), so I wonder if the procedure really has changed. -thh