Add preferences for enabling PDF export