+ issue #151: renamed tabs in crawl permissions page.