Indeed, It's different literally but functionally, both are the same. Server settings can also be done with the change server feature by creating additional options for server settings.
In addition, I took this decision after weighing, consulting and asking for second opinions from other Supervisors and Moderators.
ok. thank you
And thank you for respecting my decision. Wating forward your next contribution.