Fixed: SeaMonkey `Apply Theme` menu not updated after installing/restoring themes