Just wanted to mention that there are linux and posix man pages indexed as well:
<a href="https:&#x2F;&#x2F;man-k.org&#x2F;linux&#x2F;" rel="nofollow">https:&#x2F;&#x2F;man-k.org&#x2F;linux&#x2F;</a>
<a href="https:&#x2F;&#x2F;man-k.org&#x2F;posix&#x2F;" rel="nofollow">https:&#x2F;&#x2F;man-k.org&#x2F;posix&#x2F;</a>