directory /man/internals/ @ 4021:cef5f57bb9e2

name size permissions
[up] drwxr-xr-x
file internals.texi 1401531 -rw-r--r--