David Egts, Red Hat