Update user doc to add description about the new verbose option.