web commit by BartMassey: more discussion of GIT fixes