Thanks to Ender for finding this:
Also, the spikes on the end of Stegosaurus' tail now have an official name, The Thagomizer, suggested in a Far Side cartoon by Gary Larson. (Reference: The Complete Dinosaur, James O. Farlow and M. K. Brett-Surman, editors, Indiana University Press, Bloomington and Indianapolis, Indiana, 1997, p. 302.)
That's right, the spikes on a Stegasaurus have been named after a caption in a Far Side cartoon. Hail to the King!