nothing is changed when modifying the extension options; they seem to be saved, but not taking effect on any website. I have tried refreshing and restarting the page and browser, as well as resetting all the options.