DOKK
/
manpages
Man pages matching name
linux.defs
in section
5
: