Allow to export PDF with stroke special characters option.
Currently only "stroke all fonts" exists and that enlarges the PDF file size dramaticly.
With this option we can have workaround for problems relating support for some languages.
You have this as DXF export option already.
