@item target's completion messages are written after they finish
@item executable @file{.do} is run as is, non-executable is run with
@code{/bin/sh -e[x]}
-@item tracing (-x) can be obviously done only for non-executable @file{.do}
+@item tracing (@option{-x}) can be obviously done only for
+ non-executable @file{.do}
@item parallizable build is done only during @command{redo-ifchange} for
human convenience: you can globally enable @env{REDO_JOBS}, but
still do for example: @code{redo htmls infos index upload}