An example where this can happen is a link to a page that was renamed and redirected, or just a normal HTML file.
This adds a bunch of tests to better exercise the HTML rendering and to be able to track any changes in its behavior. This includes a new `check_all_main_files` to more conveniently check the HTML content of every chapter in a book.