When I export a page with a high-resolution embedded bitmap as a PDF, there is an option to alter the DPI of rasters, but it doesn't seem to work. I remember Adobe Acrobat had a feature like "Optimize PDF" or "Reduce Filesize" which allowed you to reduce the DPI of embedded raste...