Hugging Face Releases FinePDFs: A 3T-Token Dataset Built from PDFs