1b6227af11
It is more often that interesting information is buried by the verbose output than the verbose output is useful. It can be reenabled later if necessary.