HACKING: update references to Git mirrors and add more explanation.