Rename symbols.html to index.html