There can be many other reasons for wanting to export in high quality to bitmap, PNG, JPEG, or other formats than PDF; the above thread just happens to be my specific situation. (I'm retired and doing things like antique radio restoration as a hobby, and want to contribute to the community of...