Lo más sencillo sería resolverlo del lado del servidor colocando algo como esto al principio del index.php:
Código PHP:
<?php
if(!isset($_GET['f'])){
header('Location:index.html');
exit;
}
?>
Y en index html, redireccionar a index.php?f en lugar de sólo a index.php