4 ms·

`man` is "a documentation". It turns out there's more than one type of documentation, but lots of man-page writers didn't get the memo.