# OK: numeric-leading dotted hostnames still use the hostname/DNS path
