Option to disable touchpad when mouse plugged in

PureOS 9 had a checkbox to disable the touchpad when a mouse is detected. It doesn’t appear in default PureOS 10. Anyone know how to get this back?
(Gnome Contacts doesn’t seem to work at all with Google. Any ideas?)

If you use the default gnome desktop it can be done thru gsettings:
gsettings set org.gnome.desktop.peripherals.touchpad send-events disabled-on-external-mouse


That seems to have done it.

Oh, I love this. I did not realize this setting could take this particular value. I only wish the gsettings were properly documented somewhere.

This is the springboard into my pet peeve.
Hey Purism, would you please put documentation for the Librem 14 up?