I'm guessing they prefer to hand update their server list. They do seem capable of auto updating the page themselves. (look at the source code of that page and search for "automated update")