Word of the week: After last week’s fictional Jabberwocky, a real-life deep-sea dinosaur, a fish-reptile with an extraordinary evolutionary history on land and sea, famous in fossils, but where can we dive to find it in song lyrics?