[docs] [issue18262] ZipInfo.external_attr are not documented