Slight changes done to extension preference related files