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