Version 13 is out! Here is a list of new things: - LMR depth correction (now applied when depth > 3); - More aggressive reductions on NMP when eval is way above beta; - NMP reverified when beta is above 5000 centipawns (zugzwang-mate checking); - Mate Distance Pruning (if the current line is already longer than a previous "mate in x" found, stop analysis); - Correction of "go depth" and "go nodes" command (also "go infinite" is used by default when no parameters are given).