keep options updated when plugins/themes

are removed