Re: [9fans] bug or feature ? --- ip/ping -6

[hiro]

your ipv4 "embedding" doesn't need to be part of the ping tool. it's
not commonly used anyway.
allowing the ping tool to do dns lookups on the other hand are a
common convenience.