as pointed out by PRATAP, it's available in the gnome tweaks tool which I had forgotten I'd installed.