For now I have a “fixed” version running elsewhere… once the voting is done I will be updating in here as well. It’s not a full game break, but can be annoying… I am hunting another one that fails to detect game-end situations under certain conditions… You know what they say: it’s not that there are no bugs, there’s just not enough testing :P