This is a tracking bug for Change: "Fedora Linux" in /etc/os-release
For more details, see: https://fedoraproject.org/wiki/Changes/Fedora_Linux_in_os-release
"Fedora" is the name of our project. Our general-purpose Linux distribution is "Fedora Linux". Let's refer to it that way in the OS itself.