Flaky test: DafnyPipeline.Test.DocstringTest.DocStringForModules

[MikaelMayer]

https://github.com/dafny-lang/dafny/actions/runs/13054823679/job/36423184377?pr=6086

DafnyPipeline.Test.DocstringTest.DocStringForModules [FAIL]
[xUnit.net 00:00:01.15]       System.InvalidOperationException : Call Initialize first.
[xUnit.net 00:00:01.15]       Stack Trace:
[xUnit.net 00:00:01.15]            at Nerdbank.Streams.BufferTextWriter.ThrowIfNotInitialized()
[xUnit.net 00:00:01.15]            at Nerdbank.Streams.BufferTextWriter.Write(ReadOnlySpan`1 buffer)
[xUnit.net 00:00:01.15]            at Nerdbank.Streams.BufferTextWriter.Write(String value)
[xUnit.net 00:00:01.15]            at System.IO.TextWriter.WriteLine(String value)
[xUnit.net 00:00:01.15]         /Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/DafnyOptions.cs(196,0): at Microsoft.Dafny.DafnyOptions.Parse(String[] arguments)
[xUnit.net 00:00:01.15]         /Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/DafnyOptions.cs(177,0): at Microsoft.Dafny.DafnyOptions.CreateUsingOldParser(TextWriter outputWriter, TextReader input, String[] arguments)
[xUnit.net 00:00:01.15]         /Users/runner/work/dafny/dafny/dafny/Source/DafnyPipeline.Test/DocstringTest.cs(322,0): at DafnyPipeline.Test.DocstringTest.TestAllDocstrings(String programString)
[xUnit.net 00:00:01.15]         /Users/runner/work/dafny/dafny/dafny/Source/DafnyPipeline.Test/DocstringTest.cs(2[51](https://github.com/dafny-lang/dafny/actions/runs/13054823679/job/36423184377?pr=6086#step:13:52),0): at

Only one MacOSX randomly