22.214.171.124: attempt to answer the "executables" FAQ in the manual
* The information was there, but hidden in the second part of a
somewhat-related paragraph in a generic section.
* Including "Executables" in the first page of the table of contents
should make the function easier to find, one hopes...