directory /man/internals/ @ 3809:ef3c739a5a6d

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