"The output executable is byte-for-byte identical with said release, which means that the source code accurately represents the original engine's behavior."
That seems crazy that someone could reverse engineer compiled code back into the higher level language it came from, and then have that code compile into the exact same executable. Obviously, you can keep modifying the code until it matches, but it's still impressive for anything other than a small program.