index.html: updates, part 2