I also retire tools/analyze-url-coverage in this commit, since the API docs cover most of the functionality.