[marketing] Re: Do we want to promote Fedora as "Linux"? How *do* we want people to find us?