Feature Request: Real Units on PDF Export

The PDF export allows setting in mm but not inches.