Web Inspector: REGRESSION(r238378): reloading WebInspector after a settings change...