Is this still supported?

[guettli]

Looking at #1 which is five years old and still open, I guess this extension is not supported any more.

I would be very nice if it get removed from this page:

https://extensions.gnome.org/

Otherwise a lot of time gets wasted

[schcriher]

In case someone else gets here, the solution is included by default in the newest Gnome: "simply change the keyboard shortcut"

Ref: https://blogs.gnome.org/fmuellner/2018/10/11/the-future-of-alternatetab-and-why-you-need-not-worry/