tazel run builds and runs one executable: the one --executable names,
the only one of the selection, or the project.defaultRun of the
selected ViPkg. It takes one --vipkg and one --executable at most and
no --library, and lists the executables when the choice is open. At
the root of a workspace, run chooses among the members instead of
working on each.

A new section describes tazel_options.txt: the nearest file decides
each option, sandboxing-with-microvm: true in any of them holds, and
with it every command except version and help stops before anything
runs on the host.

The commands page says so in en-US, de-DE, ru-RU and he-IL.

Say what -- and s(...) do in Tazel custom commands

The first -- ends the name of a custom command, and a line of s(...)
reaches the shell unchanged. Written for the Tazel release that carries
tazel#40.

Say what the compiler needs today on the getting started page

Bring the Talac pages up to date

They were produced again with a real build, and they match, the LLVM IR
included.

Stop naming versions on the formatter and linter pages