Gnome shell has support for HiDPI scaling buried in the Gnome Tweak Tool settings. Sadly, you can mess yourself up if you go exploring in there, see a slider,

Gnome shell has support for HiDPI scaling buried in the Gnome Tweak Tool settings. Sadly, you can mess yourself up if you go exploring in there, see a slider, wonder what it does and give it a go. On a non-HiDPI display anyway!