hub-docs

We are Hugging Face, or huggingface, or Huggingface, who knows

#1404

Merged