"Linux" in www.gnome.org/about

[Behdad Esfahbod <behdad behdad org>]

Hi,

This has been raised up multiple times.  Can we just replace "Linux"
with "GNU/Linux" on the "What is GNOME?" page and be done with it?


Thanks,

-- 
behdad
http://behdad.org/

"Those who would give up Essential Liberty to purchase a little
 Temporary Safety, deserve neither Liberty nor Safety."
        -- Benjamin Franklin, 1759