re: #629 hans ze beeman

I used the google search interface

“Google”? What an odd name. Never heard of it! Must be some German thing.

/