OK, I think I found a website with the answer I was looking for. The key phrase is in the title of this post: "Serving pre-compressed files using Apache". Sometimes searching for stuff is hard just because you don't know what it's called. ๐
https://feeding.cloud.geek.nz/posts/serving-pre-compressed-files-using/AddEncoding gzip gz
Options +Multiviews
SetEnv force-no-vary
Header set Cache-Control "private"
<FilesMatch "\.pdf\.gz$">
ForceType application/pdf
</FilesMatch>
And now that I've gone through the directories, it turns out that those PDFs are already pretty compressed! Most of their content is probably compressed image files. I guess I should have known.๐
https://alexschroeder.ch/view/2024-11-01-gzip