My mum learned that if she did not like something she can just press the super button and start typing whatever the annoyance is related to. I am sometimes surprised by the specific settings she goes for. Based on this i think users at least check the options when they are easily available. (Linux obviously)