Running `make` would have regenerated .txt COPYING files; hadn't moved their source .html files. Rectified.