Update NEWS with mention of Bug#4073.