user settings now have bigger priority than extensions