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   ChaCha20.HC
14   ChaCha20_Poly1305.HC
15   Curve25519.HC
16   I128.HC
17   I256.HC
18   Poly1305.HC
19   SHA256.HC
20   U8Set.HC
21