DNS leak leaves footprints in DNS server logs for a Brave user’s Tor traffic.