ENH: index.html: ^top^