Post #3910900

I think GNOME's extensions system is fine. It's a fair compromise between tight design and flexibility. But there definitely needs a better bridge between 2 major versions so that extensions are smoothly moved over to the new version for the end users.