That's right.
Joshua Tysor, who finished 225th overall, was the top runner not wearing "super shoes". 2:34:39 in the Hoka Clifton 9.
Well done, Joshua!
(Thanks to @bowtiedrunning on X for this. Apparently he and another person looked at the videos/pics to find this).