title: Python: get DNS query from a specific, hardcoded server
body: <p>How do I do <code>dig TXT +short o-o.myaddr.l.google.com @8.8.4.4</code> in Python?</p>
  <p>(That line resolves the hostname <code>o-o.myaddr.l.google.com</code> through the DNS server <code>8.8.4.4</code>.)</p>