The change is indeed not big and it will probably not change the fact that most people
will still refer to "Fedora" as "Fedora" but I agree that it is a good
move to name and distinguish things properly in the documentation and system information.
It was always odd to me that RHEL was called "Red Hat Enterprise Linux", CentOS
was "CentOS Linux" but Fedora was always just "Fedora", so I guess it
will also make things more consistent.