Hide index.html file extension if manually typed

Eh, I think it might work. If the Redirect rule acts on the request URL, and not the file, then it should redirect the URL /index.html to /.