update git-URL heading; #5