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: Apr 12 2026 at 23:10 UTC