I think that are many scripts based on servers.ini. Making this, the scripters must change their scripts. Other part of discussion that you said to have 2 files .ini, one as default, another with users preferences.
I don't think that will increase the performance or do something best (excepts when mIRC update the servers.ini), instead, this will make a headache for scripters to modify their scripts. But, the decision goes to Khaled. My opinion is that the user decides to update the servers.ini or not, when the user installs or updates the mIRC and this option is included in the installer.
Last edited by klez; 19/07/19 07:55 PM.