Current main 49e97d48f9; real WebSocket server; isolated home; default balanced profile
{"_tag":"Exit","requestId":"1","exit":{"_tag":"Success","backgroundActivity":{"schemaVersion":1,"profile":"balanced","overrides":{}}}}
{"_tag":"Defect","defect":{"name":"SchemaError","message":"Expected number\n  at [\"patch\"][\"backgroundActivity\"][\"overrides\"][\"automaticGitFetchInterval\"]"}}
{"_tag":"Exit","requestId":"3","exit":{"_tag":"Success","backgroundActivity":{"schemaVersion":1,"profile":"balanced","overrides":{}}}}