let
help =
"undocumented. Among effects of this options are the same effects as -no-results"