we should try to reduce PDF size by trimming the size of images (this would also help with load times online). This should be doable regularly using some github action