I believe this would be a good change, as it would separate Silverblue from
Fedora Proper to end-users. I believe “Fedora Silverblue %i” would be the most
appropriate choice, as it shows that Silverblue is related to the Fedora
project. Ideally, it would only be “Silverblue” by itself, in the event that
Silverblue left the Fedora project, which is not the case. The distinction
would be useful.