(HEX) ShellToolDocs.html.sea.hqx
 (BIN) ShellToolDocs.html.tar.gz
 (HEX) ve-doc.sea.hqx
 (BIN) ve-doc.tar.gz