some web servers by default don't recognize index.php as default page - IIS for example

In order to allow easy installation and configuration this index.html has been added with a redirect to index.php