Simplify the following text for a Grade 4 native English-speaking person.
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 .