It would be useful to be able to pause a crawl and edit the settings once it has started.

For example, there may be 10000s of URLs that are being crawled that would be better excluded, say if spider trap is present such as search URLs, or parameters.