From the maintainer Li Haoyi: I'm putting a 500USD bounty on this issue, payable by bank transfer on a merged PR implementing this.

See https://github.com/orgs/com-lihaoyi/discussions/6 for other bounties and the terms and conditions that bounties operate under

I thought I fixed it in #3797, but it seems it still appears sometimes, albeit much less frequently.

The completion criteria for this is a consistent reproduction of the issue, along with a PR that demonstrates the issue fixed