ios 13: “options to compress files into an archive, decompress zip files, edit tags, preview a file in Quick Look, and display an Info pane”