myrmepropagandist @myrmepropagandist 1784824707 What kind of name is "Hugging Face" ? Nobody is going to discuss that? It's just... fine? 5