hub-docs

bdc42b16 - We are Hugging Face, or huggingface, or Hugginface, who knows (#1404)