OK, correction: the one I have has .php extension, not .html. So... either I'm missing a file (which is not in my original dowload) or, for some strange reasons, it's sending checkout to a different file?