# This is used by HuggingFace to count download times