tree c05686d33429cc048049036595c759768dc8d950
parent 26232cc9c3dbd780bde28567376ccc65ed005e98
author avm99963 <me@avm99963.com> 1594221133 +0200
committer avm99963 <me@avm99963.com> 1594221133 +0200

Move index.php to index.html

It doesn't contain any PHP code, and this way PHP doesn't have to
process the main page, and we can serve it as a static asset, being
able also to better cache it.

Change-Id: I5fb1b71d382c0686b062471d92035651d16266b0