web-crawler x 20
spider x 12
webcrawling x 6
crawler x 5
They're all identical and refer to Web crawler:
Other terms for Web crawlers are ants, automatic indexers, bots, Web spiders, Web robots, or—especially in the FOAF community—Web scutters.
I think that webcrawling, crawler and spider should be merged into web-crawler.
Can we merge and synonymize them?