@ckarlsen So that I don’t forget: https://github.com/cursive-ide/cursive/issues/1996

@misha Also so I don’t forget: https://github.com/cursive-ide/cursive/issues/1997

@cfleming thanks! I'll report directly to github next time if that's preferable

@ckarlsen It’s fine to ask here if you’re not sure about something, but a reliable exception with repro case can generally go straight to the tracker, yeah.