I hope that when Dart struck the astroid Dimorphos, a NASA scientist muttered “This one’s for the dinosaurs.”