What I learned porting JustHTML to PHP with GPT 5.2 Codex (jasuja.us)

I see that the blog post is mentioning not finding the web100k dataset, it's here: https://github.com/EmilStenstrom/web100k