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.