Updating `devtools_options.yaml` or `pubspec.yaml` doesn't update the extensions

If we edit `devtools_options.yaml` to enable/disable the extensions, it only seems to reload them by restarting the server. Also, removing the package from dependencies doesn't seem to update anything either. Maybe I'm doing something wrong but I could not make it update devtools.

Start by reproducing the behavior with edits to devtools_options.yaml and pubspec.yaml, then trace the DevTools extension-loading path. Confirm whether changing enabled extensions or removing a dependency is detected without restarting the server. Done means both configuration changes are reflected in DevTools without a server restart.

Rédigé par le modèle d'indexation à partir du texte de l'issue.