{Doodle is a tool to quickly search the documents on a computer.}

WWW: https://grothoff.org/christian/doodle/
