export: document --verbose parameter

[ci skip]