We should be more consistent about at what level we incorporate the Dev Dock, or remove the dependency on `modal` that I added in #7291.