This is the name most projects have settled on, so let's use that as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/406>
This is the name most projects have settled on, so let's use that as well. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/406>