I added `"dart.devToolsLogFile": "logs/devtools.txt"` to my workspace settings, but it only logs General issues, there's no DevTools server traffic.