Nice in theory, but my experience has been that extension devs burn out from having to update their extensions so often to keep them from breaking. There’s also some things that extensions can’t fix.

▲

skydhash 4 days ago | parent [-]

Don’t use private API then. While the public API is not stable, there’s few changes there.

	▲	cosmic_cheese 4 days ago \| parent [-]
		I don't know what falls under public and private API but across my GNOME installs over the years there are numerous extensions that've broken and been abandoned, which suggests that most of the things that people want to customize sit on the private side of the line.