There is supposed to be a metaserver which provides the list, but it is currently down. Previously when it was down, the list showed the Official Server, but this never made much sense because the Official Server and the metaserver are on the same computer, so if one was down they both would be. (Also, Official Server does not exist anymore.) Putting Smogon University as the default gives people somewhere to go while we figure out a more long term solution to the metaserver issue. (Well, the long term issue will be to use http rather than a metaserver, but I won't be doing that any time soon... I guess the mid-term solution will be to hardcode in a few other server as well, which I might do today or tomorrow.) This is a fairly neutral short-term solution since Smogon University is by far the most popular server anyway.