I'm having trouble understanding the intended way of managing Gnome shell extensions.
I can't find any appropriate programs in the Dash for doing that. The only way I can actually manage extensions is via extensions.gnome.org.
It's impossible that this page is supposed to be the tool for managing extensions - it makes absolutely zero sense (it breaks UX, for one).
Please tell me that there is a plan for a native application aimed at managing these handy extensions.