Actually `gsettings set org.gnome.desktop.interface scaling-factor 1` appears to have done the trick!
Actually `gsettings set org.gnome. desktop. interface scaling-factor 1` appears to have done the trick!