Documentation/HOWTO: update git home URL