Perhaps someone with the relevant Wiki access could attend to some housekeeping: […]
Ready for deletion: index.php
You can see in the deletion log who usually does/did that.