"GNOME" used throughout the user docs
Elsewhere in GNOME we make an effort not to prominently use the word GNOME, and instead use the name of the distribution. It's important for downstream products to have clear identities, both for GNOME's partners and so that users can make sense of the products they're using.
Not all users know what GNOME is, nor should they have to.