${LANG_OSFWB} ${/* the documentation is a separate package and may be absent */} ${do:if-file-exists:html/index.html} | ${LANG_MANUAL} ${do:end-if}

## ${LANG_F18b} ${do:if-file-exists:html/guide.html} | ${LANG_O5} ${do:end-if}
    ${do:output-mode:html}${do:if-not-empty:commandReturn}
    ${LANG_F19}

    ${commandReturnMsg}

    ${LANG_F20}

    httrack ${commandReturnCmdl}

    ${LANG_F21}
    ${/* end-if clears the output mode rather than restoring it, so re-arm it */}
    ${do:end-if}${do:output-mode:html}

    ${do:if-empty:commandReturn}
    ${LANG_F22}
    ${do:end-if}
${LANG_G8} : ${/* an http: page cannot navigate to file:, so the mirror is reached through the server */} ${html:path}/${html:projname} ${LANG_D8} ${LANG_D4}