Yes; I tried installing via extensions.gnome.org but that seemed to be broken… Anyway, it works now. Thanks!