DNS also runs a higher risk of being cached or mangled somewhere along the way by middleboxes. HTTPS avoids that problem.