Pascal Michael's website hasn't been updated with the last results yet, right? Under "Turing machines with 5 states and 2 symbols", there's no mention of the d

Pascal Michael's website hasn't been updated with the last results yet, right? Under "Turing machines with 5 states and 2 symbols", there's no mention of the definitive results