Describe the bug When exporting to PDF and selecting 'Crop', there's extra padding around the diagram when exported. This extra padding does not appear when exporting to PNG, and selecting 'Diagram' ...