@jfmengels @andrewrk
Here is the comment in Internet Archive: web.archive.org/web/2023091115