4bc22a1dfa62b7e9cbe2081893734c5efcb84af4
-rwxr-xr-x 2472 help.hs
-rwxr-xr-x 10300 help.jhm
-rwxr-xr-x 9129 helpTOC.xml
drwxr-xr-x - html
drwxr-xr-x - icons