Comment by tzs

That post first appeared in 2019 and has been updated since then. The last update was sometime between from May 2023 to October 2024. It includes a link to something dated Dec 23, 2023 which further narrows it down.