It would be great if Logseq exposed an option to users to auto-compress PDFs that users include in pages. That way, space is saved while at the same time offering the same great experience. This could for instance be achieved through Docker (although it requires the presence of a container runtime), e.g. Docker Hub