3 ms·

I honestly don’t care what version of stockfish they used and neither does most of their intended audience, for the reasons I stated.