When I open a clear net site like torproject.org in the Tor Browser, the browser shows me this:
How does it know there is a onion site available for the URL?
Is there a file that maps clear site URLs to their dark net counterparts that is bundled with the browser?
Or does it magically discovers the hidden URLs somehow?