Not needed to reload extension after option change