The 'get rid of all the options' philosophy is probably the single biggest reason when Gnome seems to have fragmented and was for several years a constant sourc

The 'get rid of all the options' philosophy is probably the single biggest reason when Gnome seems to have fragmented and was for several years a constant source of friction and hate between devs and certain corners of the community. However, it didn't have a robust support for plugins and behind-the-scenes configurability was sometimes limited and often overly arcane. That said, while it's true that many of the options you mention are likely used be a very small % of users, and some are even dangerous for regular users to touch, they are also options that people who do use them will find critical, and they are options that people who do use them will be suspicious of in 3rd party extensions -- I mean who wants to install some random extensions named 'powerCert' or 'sslMan' with the purpose and powers of playing with certs on your behalf? To a certain extent I think some of the options discussed could indeed be rolled into configure via about:config, I find the idea that it makes sense for others to be rolled into '3rd party extensions' a little troubling. And some I think should remain, but could use some better 'branding.'