A useless file slipped into the repository.