I don't know of any other servers. The 23.237.154.234 address still works for me at the time of this post.