combined into index.php long ago