I'm not disputing that it's a hard thing to do, but we had decompilers before; "miracle" is rather stretching it.
Even granting that framing though, the claimed increase in productivity isn't a one-off, but asserted for everyone using them; you're claiming mass-produced miracles but trying to depend on a single example.
Snowboard kids 2 https://news.ycombinator.com/item?id=48284494
Silent Hill 1 PC https://youtu.be/0niadQJmYx0
Super Smash Bros/other GameCube and Wii games https://www.reddit.com/r/decomps/comments/1uvttvy/moderngekk...
> but we had decompilers before
Cite one example of a decompiler that provides English names and comments.