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.

Cite one example of a decompiler that provides English names and comments.

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...