New: BEST addon until W3C FINALLY adopts my draft at github... (github.com/WICG/proposals/issues/125)
Old: Addon setting "browserdesign" should be set to "default" by default, not "customized", because on customized it destroys all webExtension themes......