Just a thought: would linking "linux" in the first page of http://www.debian.org to http://www.kernel.org be more appropriate? after all it is referring to the linux kernel.