Fix filename matching for multi-digit file numbers in Mint downloads
Replace said comparasion function with a simpler key function