Deleted a few files, as renamed copies were pushed