Single File Extraction

on this ticket https://ww.wp.xz.cn/support/topic/archive-extractor/ you asked for a use case to need access to extracted files. what about when a user simply deletes a file like a PDF by mistake and asks their developer if they have a copy in a backup? Restoring a full multi GB backup on a local WP install just to pull out one file seams crazy. Even if there was a standalone dev tool for the extraction it would be fine if you don’t want to confuse end users. Something like https://traktor.servmask.com that allows you to download a file .