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