We now distinguish between “wins in M moves” (ie., reaches a tablebase
position and has a displayed mate line, but the mate is not necessarily
optimal, due to the horizon effect and DTZ making funny mates) and
“mates in M moves”. We also mark the breakoff point in the PV.