How ancient crocodiles flourished in the age of the dinosaurs | Hacker News Reader