Damn, I'm sorry. So used to there being direction in Ender's thread I usually linked that.
Doing a bit of digging, and no, it doesn't look like the old client got updated to use the change in server name, so you'd have to get someone to post it for you. Otherwise, yes, you are back to where you were in the first post. I made a huge assumption figuring someone would update the code within the last several months. (Some people have, because they are using their clients to play, but nobody has bothered to push them to be published.)
Opinions expressed in this statement are the authors alone and in no way reflect on the game development values of the actual developers.