Are you talking about leaking names through TLS? As I understand it, this would fix leaking during DNS resolution, fixing any leaks from TLS is a separate issu

Are you talking about leaking names through TLS? As I understand it, this would fix leaking during DNS resolution, fixing any leaks from TLS is a separate issue. And yes, when that's fixed, you'll still be leaking destination IP. But if not one step at time, how is it going to get better? :)