Allows users to actually use such option. Signed-off-by: Paul B Mahol <onemda@gmail.com>
This should simplify inclusion in monolithic tool manuals.