Dropping TM when using GNOME Brand?

[Vincent Untz <vuntz gnome org>]

Hi,

A few years ago, it was agreed that it's fine to use the GNOME logo with
just GNOME instead of GNOME™: the trademark is still valid even if we
don't explicitly put the ™. Is this still valid?

Use cases:
 - GNOME logo during boot of the GNOME 3 live image
 - GNOME logo in the System Information panel of the control center
 - etc.

Thanks,

Vincent

-- 
Les gens heureux ne sont pas pressés.