Terser docs for the shell
No longer feasible to use this without a crosscompiler