Red Hat is the Linux distribution that Linus Torvalds uses