Remove files, this repository is obsolete.