This is quite important.
We love getting those high quality PRs, but every setting causes overhead one way or another, so we are trying very hard to be critical of what we add as such.
An alternative route would be to raise the question on the forum that you are using itself… maybe you can convince them to turn it off altogether.
Either way, before putting in your own time and effort into making that PR, a good bet would be to make a Feature request and see if your idea gets any support.
However, if you can easily hide it via CSS as suggested here, I’m curious why you’re adamant about making it into a setting? It that just ideologically driven?