add git log links to change history entries
fix doc typos, etc.