Hello, Do you think any request to Red Hat to change the name of their distro to Red Hat GNU/Linux will work? We can try that as it is the most popular distro and the name can reach many people. Arko