Debian people working on the debian-installer