Marc Haber wrote: > in General, it would be a good idea to ask such questions on the Debian-user > mailing list.
In fact, Mike was replying to this (admittedly he didn't make it very clear): https://lists.debian.org/debian-cd/2025/09/msg00001.html Gerardo
