Extension Manager is the app GNOME Extensions should be. It not only lets you see already-installed extensions and disable/enable them and access their settings like GNOME Extensions does but, get this… (are you sitting down?) it even lets you browse and install new extensions. I mean, I don’t know why you’d ever want to do that but, hey, I guess this is for all the freaks out there… :)