Josip Rodin <joy@cibalia.gkvk.hr> writes: > Depends on what you think Debian disks are :) I would count the Official Debian disks.