Add examples.html.