Moved example.html to doc/