DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH
 

ping

'ping' not found in section 1, but available here: