Reading an official Hugging Face leaderboard: protocols, majority vote and reproducibility