document $*EXECUTABLE and note caveats of $*EXECUTABLE_NAME