When attaching a non-HiDPI external display to the HiDPI Librem 15v4, GNOME Shell UI elements are huge on the external display.
Should I file this upstream against GNOME Shell?
Left: Librem 15 display (3840x2160, 2x scaling), right: external display (1920x1080, 1x scaling)