Das Addon Persona Switcher fügt ein neues Symbol in die Leiste ein, mit dem manuell zwischen den installierten Themes (die früher mal Personas hießen) gewechselt werden kann. Ich nutze das, um zwischen dem dunklen und dem „System“-Theme zu wechseln.