True, but remember that Red Hat is now owned by IBM, so you may well strip them from the list....