Original: The official name of the Red Hat Linux distribution is Red Hat Linux ( often abbreviated to RHL ) .
Simplified: Red Hat made it public in the past and it was used by many Linux users .