Did anybody let https://haveibeenpwned.com/ know about this before the file was taken down?