[tor-commits] [tor/master] Do not consider IP strings valid DNS names. Fixes #25055