Otherwise, it would overwrite its search index, effectively breaking
the search field.
We might run into space issues on github, as the generated docs are
duplicating each other and use a lot of disk-space.
Fixes#48
With one of the recent changes, the crate name was changed to be
different from the library name. However, there were still plenty of
places that would refer to the library name instead of the new crate
name.
That way, links in the README.md as well as index/index.html still
pointed to the old location.
