Help: Rename main document to 'index'

This will produce index.html from the HTML builder, which provides a nicer URL for publishing.