Weird to see huggingface in the news like this. I remember contributing some fix to it back in summer 2019 when it had 4k stars or something, and I thought it was a really popular project even then :)