Thank you, I didn't know that and didn't mean to misconstrue his opinion. GNOME Tweak Tool is a critical part of a usable GNOME experience, but I wouldn't dare call that a good user experience because it's a non-starter for the majority of casual users.