I suppose I’ll add that the solution hinted at there has worked for me, that is you should prevent Jepetto Joybuzz from having a full board.
Yes, it’s ugly, yes, I’m… not happy about it, but this workaround allows to at least circumvent the bug for now.