I found an article about requesting to install the Extension Manager app by default on the Workstation Edition. What do you guys think about this?Should it become a part under the Appearance in Settings?
https://itsfoss.com/news/fedora-gnome-extension-manager-proposal/