On Thu, 5 Oct 2017, Jon Steinhart wrote: > Favorite bumper sticker: "Reach out and grep someone". Back at university a friend lost his keys. He told a group of us in the caffeteria that he'd grepped the house for them. It occured to me that he went around the house picking everything up and comparing it to a known set of keys. Rob