Clarify some things about the construction of covered_urls.

Closes #8.