The server running this software was in our main server room although it was technically not our department. So one day, when a fairly serious bug was found, I had to chaperone the non-technical person into the service room. She was on the phone with these guys. For political reasons within the company, all I could do was watch. They instructed her, over the phone, symbol-and-letter by symbol-and-letter to add to live production code. What they added? A giant "if false" block around the buggy code.
Even odds it's a current employee, anyway.
- Debian provides SHA-512 checksums of those ISO images
- the checksums are signed cryptographically
- web server is not the only distribution point
- Debian packages are distributed signed, so once you have your OS installer somehow verified, you're much safer than with Homebrew
Granted, SHA-512 checksums and their GPG signatures are not exposed very prominently on Debian's homepage. You need to go to the listing of directory with ISO instead of clicking "download ISO" direct link.
Speaking only for myself.. If I were to go the trouble to anonymously tip somebody off about a security vulnerability, it would be because I cared that they were secure and that I did not wish to be identified. I would neither expect nor accept a reward.
I think just the fact that they didn't do this points to malevolence. I would expect the ransom demands to follow shortly.
It's not that rewards should be small for big finds, but if you are legit poor, you have limits on what you can do.