Guys, forget about this… It seems the new version of huggingface_hub, v0.10.0, has fixed the problem.