No matches were found for subject:"bug#25254\: \[minor\] 'About' page says GuixSD is a \"GNU\/Linux distribution\""