Grep-like tool for the web
