I have a folder named myfolder (with multiple files) in JupyterLab. I can download files but not folders as JupyterLab does not allow it. I, therefore, want to zip the folder th
