Commit Briefs
automatically generate an HTML version of CHANGES (main)
with some feedback off-list and 'please go ahead' stsp@
comparison.html: got tag is more like git tag -a
git tag creates by default lightweight tags, which we don't create at all, so the distinction is fairly important. naddy agrees