Add a link to GNOME's trademark