Is there a video for this?
To be released imminently per this toot from 2 days ago (saying forthcoming in a day or two): https://mathstodon.xyz/@tao/116977934921819775