directory /man/internals/ @ 5751:2b8edd304c2b

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