This extension provides integration with GNOME Shell and the corresponding extensions repository https://extensions.gnome.org