rename correspondence.html to examples.html