I've been exporting things to PDF this morning 
A question or two, though.
Is the font size in the printed/exported document based on the default font size set in L4? Or the resource size, if it's set to magnify a bit further? Can one control the size of the text output?
When printing to pdf with normal margins, there's serious overlap at the bottom between text, bibliography and standard Logos printout.This is a screenshot of a pdf file from DDD. You can mess with the margin settings to create less overlap, but it's a (minor) problem.
