Re: [In the news] Fedora and GNOME branding drama: Missing the big picture