The change of height of a horizontal line is only a bug if it happens despite having turned off stroke scaling (same for the width of vertical lines).
The change of height of a horizontal line is only a bug if it happens despite having turned off stroke scaling (same for the width of vertical lines).