Tantra3 renamed to index.html for GitHub Pages use.