Changing Linux with GNU/Linux where necessary

[Alexander Shopov <ash contact bg>]

Hi everybody,

There has been some discussion in the Bulgarian Gnome translation team 
that there are a lot of instances in the interface and documentation of 
GNOME, where an OS with a Linux kernel is referred simply as Linux and 
not GNU/Linux.

While there are several OS-es which can host GNOME, a Linux-kernel 
containing one is surely heavily using GNU userland, utils and 
build-chain. Still - the main purpose of using the term "GNU/Linux" will 
surely be educational and promotional.

Should such cases be reported in Bugzilla? Should we have a placeholder 
bug for these cases? Are there any objections to this and will this 
raise lots of emotional outbreaks?

Kind regards:
al_shopov