jameysharp commented on issue #4932:
I just gave this about 100k runs after locally merging from main, and didn't find any bugs, so I'm merging it now.
main
Last updated: Feb 24 2026 at 05:28 UTC