Super, thanks. The WP article on Jeff mentioned goblins but shed no light on its meaning.
I’m glad you looked though..He was a great man.