Distinguish between the two (?) files named index.html