Brave browser leaks onion addresses in DNS traffic

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