Began PDF export (not yet sure whether I'll finish it for 1.0)