Github doesn't show it, but I've deleted this file.