Blame man3/hypotf.3