Assertion: ping's option | /r/CapableOf | show ping times
Facets:
value: for each traceroute step
type: OTHER
Source sentences:
text: Numerous options (like using an alternative name server, Ping TTL, showing ping times for each traceroute step, Broadcast Ping, using HTTPS, setting the HTTP port number, selection of DNS record types to query, etc.) are available through a long-click on the "Go" button.