For example, I ping 198.41.0.4. I choose to ping that address over all the others, e.g., www.google.com or whatever other people use. That is what I mean by user choice. I know the address is anycasted. Where the packets actually go is not something I get to choose. It would be neat to be able control that, e.g., if source routing actually worked on today's internet. But I have no such expectations.
How do Tor users know that an exit node IP address listed for a foreign country is not anycasted and the server is actually located somewhere else.
Maybe check against a list of anycast prefixes.
http://raw.githubusercontent.com/bgptools/anycast-prefixes/m...