Nils

The renaming is worth more than the summaries, and it is the part people undersell. A stripped binary with 4,000 FUN_0040 labels is unreadable because you cannot hold the shape of it. Getting 300 of them renamed to something half right means you can finally see which ones matter. Half right is fine at that stage. It is not fine three hours later when you have built an argument on a name the model guessed.