Well, what's gone is gone. Luckily, we have the technology today to ensure the survival and propagation of all of humanity's collective knowledge now. While it was a big loss, I don't think, in the long run, humanity has been set back permanently due to that event.