... after 20 minutes, by default, and it is no coincidence that it is
distinctly lower than our Jenkins' setup's timeout. For commands that
may require longer timeout (or none) there's an option.