* Michael Piefel (piefel@informatik.hu-berlin.de) [010307 14:29]: > I feel that calling the whole thing Debian GNU/Linux is quite explicit > already. What more do you ask for? Obviously we also have debian gnu/hurd. Now imagine debian gnu/openbsd or debian openbsd. the name debian gnu/linux allready implies that gnu and linux are only one of several different options.