<@U092N7GGG>: Why do you want to remove it instead...

# intellij

[thyberg]

@yole: Why do you want to remove it instead of simply change the default value?
Will it simplify the code significantly, or is it a case of removing unused features?
I haven't really made up my mind in this particular case, but I would like to keep it.
In general, as a user, I prefer to have lots of possibilities to tweak, but as a developer I see the value in keeping things simple.