I’m trying to disable a widget for a particular user. I edit that user’s settings files in their workspace to remove the file browser, but when the user starts their notebook server the browser is still visible. Does JupyterLab need to be restarted for changes to take effect?