"Print to PDF" works very well. It embeds the fonts that are not installed on the PC, while the Windows PDF printers that I have tried don't.