Document the new --thinpool option