we should be sure to notify developers of this change, so they can adjust their local settings as needed