Online compression is not only convenient for computers to compress, but also mobile phones can be used directly, just by opening a web page to operate. First search for Speedpdf this online compression tool on Google, select PDF compression to enter, add the PDF files that need to be compressed according to the page prompts, click Start compression, and click download when finished. We can also click the login in the upper right corner of the webpage before conversion, so that we don't have to stay on the page during the conversion, just need to submit and compress, and click the conversion record in the account to view and download anytime.
The PDF file will only have to be extracted from the source text on a Mac (or PC, if you have not modified it). To save the file to the disk with the file name, you can use the option to Save to disk as normal, or using the option to specify destination folder and destination file name, this also works for other programs like 7-zip. If you use the option to specify an existing file name to be replaced, this option is not as good as creating a new file. I know of nothing else I can recommend. It's worth keeping in mind though that you might be able to save time with the above techniques by storing the PDF in an external storage (not as PDF, the file will have the same name with the extension “.pdf”), in this case only the text file is the original.