[benatkin]

I hope Red Hat is successful, as I don't want to see what tacky name they might come up with to replace it. (Like RHEL, which is pronounced "R Hell" even by people who like and use it.)