Undoing merge 5ec781c8c9316712783129acc36cc240daa52690

[Issue #375]

Would yield FPs as the mere existence of index.php would be enough to log an issue.