/meta Their comment got involuntarily migrated; it was originally a reply to a toplevel comment in the Navier-Stokes thread (before the dedicated Tao thread existed),

https://news.ycombinator.com/item?id=49613262#49617249