{"creator":"nelhage","f7411fa8-2e08-5385-9b46-0d0d0c7e856d-id":"49118","f7411fa8-2e08-5385-9b46-0d0d0c7e856d-queue":"App-SD","reporter":"nelhage@mit.edu","status":"new","summary":"'config edit' in the interactive shell doesn't reload config"}