Or simpler:
$ gsettings set org.gnome.desktop.wm.keybindings switch-applications "[]"
$ gsettings set org.gnome.desktop.wm.keybindings switch-windows "['<Alt>Tab']"
The extension really just exists to have a different Alt+Tab default in GNOME Classic, all the actual functionality is implemented in gnome-shell itself.