Deleted a file that's not in the official repository.