v1.4.3.1

This is primarily to work around changes in the recent GNU diff output
format.  Also it contains irritation fix for "git diff" which now
paginates its output by default.