directory /man/internals/ @ 2366:2a392e0c390a

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