Did lava kill the dinosaurs? Maybe.