Add back Misc/NEWS entry that got lost during merge, and fix a couple of other things.