It's one of the things I appreciate about current DC is that for a good bit of time now, they do allow characters to stay dead. And they provide gaps for others, or rework them as we've seen with generational primary characters over the years. It helps to keep it all feeling fresh, if crowded.