Comment on What would happen to the Earth if it got booped by a giant asteroid going super slowly?