Assertion: ping's option | /r/CapableOf | set the http port number
Facets:
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.