In this game, Black won by 5.5 points. However, near the end of the game (or indeed right now), using Estimate Score said that Black was winning by 12.5 points. There’s no ambiguity, as the game is over, so I’d expect those numbers to be the same. (And because it’s a 19x19 game, I really don’t feel like counting it up manually to see what the real score is.)
Why are these scores different, and which one is correct?