I would propose that user specific servers information be pulled OUT of servers.ini and stored within mirc.ini instead. That way the servers.ini file would be purely mIRC's own (default) data to do with what Khaled wants. The servers list would simply display the merging of these two ini files (servers.ini and user specific servers in mirc.ini).
Currently you can either select for mIRC to stomp on your existing server list, or opt out of updating the existing server list, leaving you with stale servers. If you want both an updated list and your own data to be kept around, you have to merge the files yourself, which is not pretty. It seems like there *is* a need to manage this better, even if it's not via the above proposal.
In any case, it could get a little more complicated when users delete or modify default servers (they would be copied over to the mirc.ini, or "hidden" instead of deleted), but having a read-only servers.ini file would make it much easier for users to update their server lists without worrying about deleting their own data.
