9d47062c32
apps.gnome.org provides a more user-friendly overview of the Extensions app than linking to the source code. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2373>