What do you think is the venn diagram of people who say, “GNOME doesn’t listen to what users actually need? How many users change the default settings?” and “Any metrics or telemetry are inherently evil and must be avoided at all costs!”