How Red Hat markets to buyers who don’t want to be marketed to