howto: Update git clone command to something that actually works.