You and I can find probably the option, but I have had enough experience with people who have something broken and don't have a clue why or what to do. We are used to go through menus, system Settings, commandline options, ... but that's really only us, tech people on hn.
