RE: hoax or bad taste joke by Redhat's CEO?