"I just noticed an article from last month's Red Hat Magazine
that states: 'It is never correct to abbreviate 'Red Hat Enterprise
Linux' as 'RHEL'.' As one of the commenters states, it is about
fours years too late for that, and Red Hat's branding police will
have their work cut out editing the 47,400 uses of the term RHEL on
Red Hat's own web site, not to mention educating the company's own
"One of the implications of this new ruling is revealed by the
snappy title of the article in question..."