On 8 February 2018 at 17:59, kechpaja <kechpaja@comcast.net> wrote:

It's also possible that he mis-remembered the name of the protagonist of
"The Hitchhiker's Guide to the Galaxy", which was Arthur Dent.