Update crawler counts.
Improve the ^\ handling.
Clarify a comment.