This summarizes a number of changes made by different people that do not
warrant their own ChangeLog entry but do make this version an improvement
over the previous one.