Update example.html for repo name change.