[04:40] <sarnold> which source package holds the installer that's used on the server install disk?
[06:42] <sarnold> it's debian-installer :)