I have deleted /index.html. Right now, if I visit https://crussell.ichi.city, then the server returns a 404 (but it successfully(?) gives a directory listing). This is not a problem for e.g. https://crussell.ichi.city/bookmarklets/, which similarly lacks an index.html