01 Pro Tip!!!
02 
03   You can download the whole directory in a TempleOS .ISO.C format which you 
04 get the files out via MountFile("File.ISO.C"); by clicking the typing in 
05 aiwnios.com/raw_dir/some_directory.ISO.C or by clicking here /HolyTLS.ISO.C
06 
07   You can download indivual files raw with aiwnios.com/raw/some_file
08 
09 Directory listing of /HolyTLS:
10 
11   ./
12   ../
13   AES.HC
14   ChaCha20.HC
15   ChaCha20_Poly1305.HC
16   Curve25519.HC
17   I128.HC
18   I256.HC
19   Poly1305.HC
20   SHA256.HC
21   U8Set.HC
22