❔ dotnet-trace: Read past end of file - C#