此扩展提供了与 GNOME Shell 和相应扩展库 https://extensions.gnome.org 的集成