directory /man/internals/ @ 2643:7ff0d1e8a9f5

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