Add Mario spec link to index.html