indextext.html: Improve the clone instructions