As a workaround, and arguably better solution, do what I do:
Gnome Tweaks > Fonts > Interface Text = size 10 or 9
As a workaround, and arguably better solution, do what I do:
Gnome Tweaks > Fonts > Interface Text = size 10 or 9