DOC HOME SITE MAP MAN PAGES GNU INFO SEARCH
 

times

'times' not found in section 2, but available here: