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.