The name of HuggingFace is a reminder that it was a thing long before the current crop of LLMs.