I produced a debian-installer mini ISO based on that version (plus two fixes), downloadable on http://brl.thefreecat.org/mini.iso Could people test it too? Thanks, Samuel