dumb index.php, only redirects to index.html (or setup.php, if unconfigured)