What the default for this setting should be is a matter of opinion. The fact that it’s a setting already acknowledges that different users have different preferences. Ultimately, any “I want to change the default” sort of bikeshedding has to sway the maintainer from the way they’ve already decided to do it, and this topic has failed to do that. Statements like “X is so useful” or “most users like X” are not useful unless backed up by substantial data. I also agree that some of the responses have come off as negative, judgemental, or rude.
2 Likes