Up to now the 14 PDF standard fonts (Times, Helvetica, Courier: each
in normal, italic, bold and bold-italic as well as symbol and
ZapfDingbats) were only embedded into the resulting PDF file in PDF/A
case because the PDF/A standards requires this.
Now the user can opt to embed these fonts in non-PDF/A files also. A
checkbox was added to the PDF export dialog for this purpose. The
state of this checkbox is persistently saved in the user configuration
like most of the controls in the PDF export dialog.