servers.txt: add more servers