[mauriciob]

No, they’re saying that they would use the built-in ZIP support if it was performant enough. Since it isn’t performant due to design limitations, they have to use 7zip.