I'm sure DKD v7 will have the crossover. DC does some weird stuff, but entirely omitting a crossover is not one of them. Looks like DKD v8 will finish up that line (to Knightfall), so it'll be interesting to see where they go next with archival Batman material - it's not like they'll stop publishing it! Maybe it's time for Denny O'Neil's run to get entirely collected?