If you’re worried about the name of your company, just remember that there is a billion dollar startup called “Hugging Face”