I agree... mangled spokes don't always go bad. Replace only for cosmetics.
Of course, broken drive side spokes are always the worst to deal with on the road.
I don't think I would completely detension the whole wheel, but perhaps take a couple of turns off of each spoke.
It is rare that I de-tension a whole wheel, but I think I just proceed sequentially around the wheel.,