The --pretty option was removed from arv some time ago. Do not refer to
it in under the 'Advanced' tab in workbench.

no issue #