Fix "make deploy" to push the right branch.
Improve the index of examples.