Focus jumps to mouse pointer while alt-tabbing

As proposed by @vanadium, this is the way to go when I thought my mouse pad was dead:

gsettings set org.gnome.desktop.peripherals.touchpad tap-to-click false

Although, as it should, this disables the desired effect of tap-to-click, so this should be a temporary workaround.