Stop content duplication

Some files (install, citing, license) copy files from the main repo.

We may want to include the main repo as a git submodule, and use the original files when building.

This was fixed in b208440b and fac94fb7

Status changed to closed