It would be super cool that companies that offered downloadable PDF receipts spent some time coming up with reasonable file names for that PDF. Looking at you “Receipt-2xxx-5xxx.pdf”