h2g2 The Hitchhiker's Guide to the Galaxy: Earth Edition

Hi--I was wondering if you composed the following from the essay you posted about puns:

In Italian, puntiglio means “a fine point,” hence a verbal quibble, and is most likely the source of the English punctilious. There developed in late 17th- and early 18th-century England a short-lived, fanciful word pundigrion, which indeed was a term for what we now know as a pun. Since snappy monosyllables produced by breaking off pieces of longer words were all the rage back then, it is widely thought that this is how and where the word pun was created.

If so, I would like to include this quote and your name in a book I am publishing about puns. Please let me know. Thanks!