This is the one I prefer: https://extensions.gnome.org/extension/15/alternatetab/

It correctly switches and changes order based on your alt+tab history, and it splits alternate workspaces up into an end section which switches workspace for you, so 'shift + alt + tab' becomes 'go to the last app on another workspace i used'. Very nice.