update git-URL heading; #5
publishing