"If you open
servers.ini with a text editor suchas notepad, or wordpad,
there are instruction how to add your server at the top of the file. "
That suggests we should have a look at the top of servers.ini, so let's:
"; Please send detailed suggestions, new servers, network errors and broken
; links to [email]servers@mirc.com.[/email] Details on
http://www.mirc.co.uk/help/serverlist.txt; Updated August 16th, 2002"
Exactly the same URL you posted.