@garbados @bob @bhtooefr there's some way to make a local DNS thing which resolves Tor .onion addresses to a local range, which is picked up by the local Tor programme. It's kinda "seamless" onion addresses. Maybe you could try something like that instead of hosts file?