directory /man/internals/ @ 4967:0d4c9d0f6a8d

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