If its not including fonts currently when set to 'Times' it probably is only doing so due to it not being able to determine what font to include, since it is a known upstream bug that it always includes fonts. And yes it causes enough other problems that setting it to a non-existent font is worse than the increase in PDF file size.
If its not including fonts currently when set to 'Times' it probably is only doing so due to it not being able to determine what font to include, since it is a known upstream bug that it always includes fonts. And yes it causes enough other problems that setting it to a non-existent font is worse than the increase in PDF file size.