Hi, on http://www.debian.org/ports/hurd/hurd-cd there is still "Current Debian GNU/Hurd K10 series." Why wasn't K11 advertised and why the jump to K14 and why isn't K14 now advertised on the website? -- Regards, Max Moritz Sievers