[o11c]

man7.org is "official" (linked from kernel.org)

This page there: https://man7.org/linux/man-pages/man3/hsearch.3.html

[nvy]

Never knew this about man7, thank you.