A web crawler.