⁸“Zip (file format).” Accessed November 19, 2021. https://en.wikipedia.org/wiki/Zip_(file_format).