I believe that the group pulling out the dead trees was wrong. A good search term for this topic, btw, is "large woody debris".
They definitely shouldn’t have removed dead trees. Worst case scenario if they were ugly and someone politically powerful wanted them gone they should have been broken up or ground into large mulch.
I always felt that varied habitat was better.