jameysharp commented on issue #5599:
Is this different from #5598? Seems like it's such a good idea that Dan already did it earlier today.
pchickey commented on issue #5599:
Oh! indeed, it is a good idea
Last updated: Feb 28 2025 at 03:10 UTC