Thanks very much for your reply @marijn.
I haven’t much experience reporting browser bugs, and certainly not highly esoteric ones. I wonder if you have any advice for how I might try to get this properly reported and resolved.
For example, it’s not present in Chrome, so I guess I shouldn’t be considering this a Chromium bug? So then I should be talking to the Electron team instead? Or do you think it’s still possible this is actually in Chromium somehow?
Sorry I know this is outside the scope of the forums now, but if you have any advice I’d value it greatly.