Crawler user agents are configurable.

Do you think it is OK?