Thank, Dan. Some further context: this was posted in another thread yesterday: https://news.ycombinator.com/item?id=40102956. I liked it so much I yoinked it and submitted to main.
FWIW I don’t think it’s a bad thing to repost articles that were last posted years ago. I didn’t see this article when it was posted in 2020 and 2022, and I probably wouldn’t have seen it ever if you didn’t repost it now.
