Thanks for the clarification, Dave. I am always curious about source material, time and place of origin, and the source of the source (of course, of course!).

I am also interested in, and terribly amused by, anything funny having to do with place names. If you can mix the two, so much the better--

By the way, does anyone know if this has been reprinted in full recently?