bug#25254: [minor] 'About' page says GuixSD is a "GNU/Linux distribution"

[Leo Famulari]

On Fri, Dec 23, 2016 at 10:28:01PM +0100, David Craven wrote:
> > Using accurate terminology on Wikipedia is an intention of mine, and
> > changing the About page (and the FSF's endorsed distros page) not to
> > call GuixSD a GNU/Linux distro would help in that regard, but it's
> > arguably a petty issue so I don't intend to bother others with it. :-)
> > (And a guix bug report wouldn't be the place to discuss it anyway.)
> 
> I totally agree that it is a petty issue, so why did you bring it up?
> If people start bike shedding topics it is only fair that everyone
> else can bikeshed in the same thread, since you are filling my inbox
> with pointless emails. Gmail doesn't have a filter for bikeshedding.

I'm sure we can use "machine learning" to make this filter ;)