Could it be that the huggingface export mentioned at https://news.ycombinator.com/item?id=50320784 is out of date?