Hopefully final edit of semantic index.html