The default facilitator seems to provide only a few servers.
I have been running the server for a while in a debug&unsafe way, and finally I got a server saying relay:{ host: "192.81.135.242", port: 9901 }
.
To satisfy my curiousity, I search for that IP address, and got one result in the example config, with one item perfectly matching it. So it appears that either I am so lucky that I hit the example server, or the list is actually really that short.
The attachment is a naive bash script that parses network-status-microdesc-consensus-3
(avaliable at https://collector.torproject.org/recent/relay-descriptors/microdescs/consensus-microdesc/) and generates a list.
Trac:
Username: Arthur2e5