In an email to the site’s users, Mozilla said that a third party notified the company Dec. 17 that a file containing user records was posted to a public web server. Mozilla said the file contained ...