I figured nostr.watch but wasn't sure. That seemed about the right number of servers that nostr.watch usually shows online.