Russell Doty, Red Hat