@punnie reload it and look at the last paragraphs now

@punnie there are headers provided, and changes therein give enough clues

@punnie yeah, but that would require someone to have to build and run test code, which is more complicated. Someone also decompiled the binary with IDA so we could also check the exact set of symbols used in there (even though they replaced the version string in the binary)