[sirn]

Yes, it probably wouldn't happened if the user uses VPN or Tor. If VPN or Tor's setup doesn't leak DNS, at least.