Someone post some server IPs ready for when the lobby goes down.

This is a good idea... but I have some alternative ideas that will also work. Find your favorite servers and copy the IP into the favoriteservers.txt (or whatever it's called) file so then you have the list right there all the time. Or you could just use All-Seeing Eye instead. It's never down and has some advantages over the lobby (like being able to see who's on a server without joining).